Page history

VargasMilan

→‎Undecidability and Faith: + umlaut

VargasMilan

typo

DavidB4-bot

→‎Famous Undecidable Statements: clean up & uniformity

DavidB4-bot

→‎top: Spelling/Grammar Check, typos fixed: etc) → etc.)

RolandPlankton

link to cardinal number rather than to cardinal; latter is a high-ranking Roman catholic priest

Aroth

no edit summary

MarkGall

no edit summary

Aroth

Added section on undecidability and faith, as discussed on the talk page.

Conservative

Reverted edits by BushBud (Talk) to last version by CSGuy

BushBud

Undecidability justifies faith

CSGuy

I'm fairly sure the fact that a proof exists for Banach-Tarski indicates that it's not undecidable.

Foxtrot

bold, links, cat, list of examples.

CherryS

New page: A statement in formal logic is called undecidable if there is no proof or disproof of the statement in formal logic. A common misconception is that undecidable statements have no truth val...