Proof sketch for Gödel's first incompleteness theorem: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

21 September 2014

13 December 2013

  • curprev 10:1910:19, 13 December 2013‎ en>Nbanic‎ m 21,728 bytes +21,728‎ Note that ''q'' takes as an argument ''G''(''F''). the Gödel number of ''F''. => Note that ''q'' takes as an argument ''G''(''F''), the Gödel number of ''F''.

30 July 2012

Retrieved from "https://en.formulasearchengine.com/wiki/Proof_sketch_for_Gödel%27s_first_incompleteness_theorem"