Gödel numbering: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 05:0505:05, 17 November 2024 2601:447:c600:4ce0:24bd:5850:2568:418d talk 11,124 bytes +1 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit App section source
curprev 05:0405:04, 17 November 2024 2601:447:c600:4ce0:24bd:5850:2568:418d talk 11,123 bytes −8 ce undo Tags: Mobile edit Mobile app edit iOS app edit App section source
curprev 05:0205:02, 17 November 2024 2601:447:c600:4ce0:24bd:5850:2568:418d talk 11,131 bytes −6 ce undo Tags: Mobile edit Mobile app edit iOS app edit App section source
curprev 05:0005:00, 17 November 2024 2601:447:c600:4ce0:24bd:5850:2568:418d talk 11,137 bytes −7 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit App section source

curprev 15:0715:07, 16 October 2024 Jochen Burghardt talk contribs 11,144 bytes 0 Undid revision 1251501019 by Kolarp (talk): Godel used "1", cf. top of p.179 undo Tag: Undo
curprev 13:3113:31, 16 October 2024 Kolarp talk contribs 11,144 bytes 0 Symbol numbers must be primes undo Tag: Reverted

curprev 00:0000:00, 24 August 2024 Himaldrmann talk contribs m 11,144 bytes +2 →Notes: -- clarifying brief explanation of bijective base-10; hopefully, I've got that right. (note: it is often alleged that Wiki math articles are impenetrable to dilettantes--like, er, myself--so considering this isn't a long article & I've tried to keep the brief explanation of bijective base-10 out-of-the-way, I thought it wasn't amiss to include it here, just to clarify the example encoding) undo

curprev 23:5723:57, 23 August 2024 Himaldrmann talk contribs m 11,142 bytes +95 formatting for previous edit (making explanatory footnotes work gooder) undo
curprev 23:4523:45, 23 August 2024 Himaldrmann talk contribs 11,047 bytes +710 →Lack of uniqueness: -- I've footnoted what I think is a cool illustration of the concept that's more intuitive than K=1000; however, as might be evident, I'm not really versed in this stuff at all... so if this is wrong & salvageable, please salvage it, because I spent a lot of time on the formatting; if it's just totally dumb, I guess just get rid of it :'( [but it would be nice to know where I went wrong, if so!] Cheers. undo

curprev 13:3013:30, 14 March 2024 Jochen Burghardt talk contribs 10,337 bytes −2 Undid revision 1213414978 by Swampycow (talk): stick with encoding from Godel.1931 (p.179) undo Tag: Undo

curprev 22:3022:30, 12 March 2024 Swampycow talk contribs m 10,339 bytes +2 →Gödel's encoding: Fixed minor error with notation: The +1 is required to differentiate between word lengths undo Tags: Reverted Visual edit: Switched

curprev 06:5706:57, 30 June 2023 Jochen Burghardt talk contribs 10,337 bytes 0 Undid revision 1162493293 by 109.118.67.100 (talk): single symbols were encoded by odd numbers, not primes undo Tag: Undo

curprev 14:2914:29, 29 June 2023 109.118.67.100 talk 10,337 bytes 0 →Gödel's encoding undo Tag: Reverted

curprev 22:4022:40, 6 August 2022 Mgkrupa talk contribs 10,337 bytes +23 Added {{Mathematical logic}} undo

curprev 17:4417:44, 28 April 2022 Jochen Burghardt talk contribs 10,314 bytes −80 Undid revision 1085132882 by 167.98.155.229 (talk): isn't that what the original sentence implies? I didn't understand your point from your (grammatically incorrect/incomplete) edit summary, feel free to elaborate on talk page undo Tag: Undo
curprev 16:1916:19, 28 April 2022 167.98.155.229 talk 10,394 bytes +80 →Generalizations: sorry for the troll edit but honestly where can you even get quotes for this stuff, some of maths is clear to some, but speculation to others.... i don't even know where you get the sources to explain this stuff but on a turing machine it undo Tag: Reverted

curprev 13:0413:04, 23 March 2022 InternetArchiveBot talk contribs 10,314 bytes −3 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8.6 undo

curprev 07:2407:24, 4 March 2022 Beauty School Dropout talk contribs 10,317 bytes −8 Made a single very minor text edit. undo

curprev 10:5110:51, 27 December 2021 Jochen Burghardt talk contribs 10,325 bytes +79 →Simplified overview: make the example produce single numbers, not lists; reduce set of different chars so the reader can recognize more repetitions; since the example uses ASCII, don't confuse by mentioning UNICODE undo
curprev 10:4110:41, 27 December 2021 Jochen Burghardt talk contribs 10,246 bytes −104 →Simplified overview: introduce "Gödel number" in 1st sentence; rm more "we"/"our"; description in singular is more precise and clear; describe numbers as large, not long undo
curprev 07:4307:43, 27 December 2021 24.228.172.139 talk 10,350 bytes −5 →Simplified overview: there's no "we" here undo

curprev 13:4513:45, 11 December 2021 Citation bot talk contribs 10,355 bytes +39 Add: s2cid, doi. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 60/207 undo

curprev 18:3418:34, 8 November 2021 162.221.121.18 talk 10,316 bytes −1 →Example undo Tag: Manual revert
curprev 18:3418:34, 8 November 2021 162.221.121.18 talk 10,317 bytes 0 →Example undo Tag: Reverted
curprev 18:3118:31, 8 November 2021 162.221.121.18 talk 10,317 bytes +1 →Example undo Tag: Reverted

curprev 10:5310:53, 5 November 2021 Neils51 talk contribs m 10,316 bytes −1 replaced: developped → developed undo Tag: AWB

curprev 08:2308:23, 21 October 2021 Jochen Burghardt talk contribs 10,317 bytes +7 Partly undid revision 1050974734 by SydneyFisher111 (talk): "used in" sounds like applying a well-known technique, while (as far as I know) Godel invented it just for this proof undo

curprev 23:2423:24, 20 October 2021 SydneyFisher111 talk contribs m 10,310 bytes −1 Spelling/grammar/punctuation/typographical correction undo Tag: 2017 wikitext editor

curprev 17:4717:47, 24 May 2021 Jochen Burghardt talk contribs 10,311 bytes −788 Undid revision 1024856654 by XbruhingX (talk): "newer encoding" is unsourced and pointless; Godel's incompleteness theorem is explained better in its own article undo Tag: Undo
curprev 12:4612:46, 24 May 2021 XbruhingX talk contribs 11,099 bytes +788 →Gödel's encoding undo Tags: Reverted Visual edit: Switched

curprev 07:4607:46, 30 April 2021 Jochen Burghardt talk contribs 10,311 bytes +25 →Gödel's encoding: repeat that note for detailled explanation undo
curprev 07:4407:44, 30 April 2021 Jochen Burghardt talk contribs 10,286 bytes +2 →top: there is a harvnb note in the lead undo
curprev 00:4700:47, 30 April 2021 Anshul Cole Jakaro talk contribs 10,284 bytes +33 Added Template: No Footnotes undo

curprev 14:4214:42, 17 April 2021 95.93.26.222 talk 10,251 bytes +71 Fixed external article link. undo

curprev 08:5708:57, 15 April 2021 Jochen Burghardt talk contribs 10,180 bytes −8 →Lack of uniqueness: rm redundant and wrong italics undo

curprev 22:0722:07, 14 April 2021 Dokidaki-ylc talk contribs m 10,188 bytes −2 Minor format fix undo Tag: Visual edit

curprev 15:5015:50, 26 March 2021 Tom.Reding talk contribs m 10,190 bytes +62 +{{Authority control}} (2 IDs from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 02:4302:43, 28 January 2021 Cedar101 talk contribs m 10,128 bytes −2 {{code}} ! undo

curprev 15:0915:09, 15 November 2020 Jochen Burghardt talk contribs 10,130 bytes +1 →Simplified overview: unify representation of sequences; a logical statement needs to be true or false, while the formula has free variables undo
curprev 06:3506:35, 15 November 2020 PedroContipelli talk contribs m 10,129 bytes +5 Fixed broken template due to including "=" character in text content undo Tag: Visual edit

curprev 17:4117:41, 12 October 2020 2605:a601:af7b:800:94a2:b75b:43db:352c talk 10,124 bytes −1 →Lack of uniqueness undo

curprev 00:3900:39, 11 October 2020 Ira Leviton talk contribs m 10,125 bytes 0 Replaced outdated html codes with wikicodes. undo

curprev 20:1020:10, 2 September 2020 Lester Mobley talk contribs m 10,125 bytes +4 →Simplified overview: hyphens to en dashes per WP:DASH undo

curprev 11:4611:46, 27 June 2020 Jhertel talk contribs m 10,121 bytes +1 →References: Space after "p.". undo Tag: Visual edit

curprev 14:5914:59, 11 May 2020 Jochen Burghardt talk contribs 10,120 bytes −93 →Lack of uniqueness: trying to avoid ambiguity on G. numbering vs. G. number, cf. Talk:Gödel_numbering#Uniqueness_–_or_not? undo

curprev 16:2216:22, 22 April 2020 Jochen Burghardt talk contribs 10,213 bytes 0 Reverted good faith edits by 2A02:8388:2803:1580:34BA:BE18:6190:5DD (talk): Godel used odd, not prime, numbers (TW) undo Tag: Undo
curprev 15:1715:17, 22 April 2020 2a02:8388:2803:1580:34ba:be18:6190:5dd talk 10,213 bytes 0 →Gödel's encoding: fixed a typo (0 should be mapped to the first prime, which is 2, not 1) undo Tags: Mobile edit Mobile web edit

curprev 21:2921:29, 30 March 2020 IntegralPython talk contribs 10,213 bytes +53 Adding local short description: "Function in mathematical logic", overriding Wikidata description "assignment of each symbol and well-formed formula of a formal language a unique natural number" (Shortdesc helper) undo

curprev 00:0600:06, 10 February 2020 AnomieBOT talk contribs m 10,160 bytes +57 Dating maintenance tags: {{Cn}} undo

curprev 22:0622:06, 9 February 2020 Metaquanta talk contribs 10,103 bytes +18 →Generalizations: anyone have citations for generalizations? undo

17 November 2024

16 October 2024

24 August 2024

23 August 2024

14 March 2024

12 March 2024

30 June 2023

29 June 2023

6 August 2022

28 April 2022

23 March 2022

4 March 2022

27 December 2021

11 December 2021

8 November 2021

5 November 2021

21 October 2021

20 October 2021

24 May 2021

30 April 2021

17 April 2021

15 April 2021

14 April 2021

26 March 2021

28 January 2021

15 November 2020

12 October 2020

11 October 2020

2 September 2020

27 June 2020

11 May 2020

22 April 2020

30 March 2020

10 February 2020

9 February 2020