Completeness (logic): 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 00:5000:50, 22 April 2024‎ Marcin Rychlewicz talk contribs‎ 6,809 bytes +2‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 08:3908:39, 19 November 2023‎ Dezaxa talk contribs‎ 6,807 bytes +167‎ Added section on model completeness undo

curprev 16:3316:33, 16 October 2023‎ Jochen Burghardt talk contribs‎ 6,640 bytes −20‎ →‎Forms of completeness: de-bold terms that don't redirect here; use puncutation from page "Refutation-complete" undo
curprev 14:1414:14, 16 October 2023‎ 2a02:1812:110c:dc00:b986:5d5e:97f8:8b78 talk‎ 6,660 bytes +115‎ No edit summary undo

curprev 22:3322:33, 10 October 2022‎ SchreiberBike talk contribs‎ 6,545 bytes +1‎ Fix typo, pres → press undo

curprev 22:5922:59, 24 August 2022‎ Mgkrupa talk contribs‎ 6,544 bytes +24‎ Added {{Mathematical logic}} undo

curprev 06:3606:36, 12 July 2022‎ Jochen Burghardt talk contribs‎ m 6,520 bytes +68‎ Reverted 1 edit by 2401:E180:8D61:668B:E07C:C1D4:712F:E0D3 (talk) to last revision by Phlsph7 undo Tags: Twinkle Undo

curprev 18:1518:15, 11 July 2022‎ 2401:e180:8d61:668b:e07c:c1d4:712f:e0d3 talk‎ 6,452 bytes −68‎ No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 04:5604:56, 19 April 2022‎ Phlsph7 talk contribs‎ 6,520 bytes +61‎ added short description: Characteristic of some logical systems undo

curprev 19:2119:21, 24 January 2022‎ 2a02:1812:110c:dc00:4993:8f90:ad74:25e2 talk‎ 6,459 bytes +8‎ No edit summary undo

curprev 20:3620:36, 21 November 2021‎ 71.139.124.132 talk‎ 6,451 bytes +20‎ →‎Syntactical completeness undo

curprev 00:1100:11, 3 September 2018‎ Chrisahn talk contribs‎ 6,431 bytes −20‎ →‎Other properties related to completeness: The converse of completeness is soundness. Consistency is related, but not the converse. undo
curprev 00:0800:08, 3 September 2018‎ Chrisahn talk contribs‎ 6,451 bytes +42‎ →‎Other properties related to completeness: link to Converse (logic)#Categorical converse undo
curprev 00:0400:04, 3 September 2018‎ Chrisahn talk contribs‎ 6,409 bytes −95‎ →‎top: removed sentence "Kurt Gödel, Leon Henkin, and Emil Leon Post all published proofs of completeness." - yes, but so did many others. undo
curprev 00:0300:03, 3 September 2018‎ Chrisahn talk contribs‎ 6,504 bytes −51‎ →‎top: removed sentence "(See History of the Church–Turing thesis.)" - no direct relation undo

curprev 12:3012:30, 30 August 2018‎ RussBot talk contribs‎ m 6,555 bytes +17‎ Robot: fix links to disambiguation page Validity undo

curprev 00:3600:36, 4 January 2018‎ Jarble talk contribs‎ 6,538 bytes +4‎ adding a link undo

curprev 03:3903:39, 31 August 2016‎ 67.198.37.16 talk‎ 6,534 bytes +6‎ →‎Structural completeness: bold, just like other entries undo
curprev 03:3603:36, 31 August 2016‎ 67.198.37.16 talk‎ 6,528 bytes +109‎ →‎Semantic completeness: For example, Gödel's completeness theorem establishes semantic completeness for first-order logic. undo
curprev 03:3103:31, 31 August 2016‎ 67.198.37.16 talk‎ 6,419 bytes +207‎ →‎Structural completeness: In superintuitionistic and modal logics, a logic is structurally complete if every admissible rule is derivable. undo

curprev 00:3800:38, 21 August 2016‎ CBM talk contribs‎ m 6,212 bytes −15‎ cleanup undo

curprev 11:5211:52, 5 April 2016‎ Maëlan talk contribs‎ m 6,227 bytes +44‎ →‎Syntactical completeness undo
curprev 11:4811:48, 5 April 2016‎ Maëlan talk contribs‎ m 6,183 bytes −31‎ →‎Syntactical completeness undo

curprev 05:0505:05, 5 September 2015‎ Jochen Burghardt talk contribs‎ 6,214 bytes +3‎ Undid revision 679507597 by 90.217.130.250 (talk): 'theorem' is equivalent to 'derivable' here, not just a special case undo

curprev 23:5723:57, 4 September 2015‎ 90.217.130.250 talk‎ 6,211 bytes −3‎ No edit summary undo

curprev 16:2116:21, 14 April 2015‎ 83.218.162.174 talk‎ 6,214 bytes −1‎ →‎Strong completeness undo

curprev 14:2714:27, 29 November 2014‎ 64.229.72.100 talk‎ 6,215 bytes +1‎ No edit summary undo

curprev 22:5522:55, 16 November 2014‎ There is a T101 in your kitchen talk contribs‎ m 6,214 bytes −2‎ typo fix undo

curprev 16:1516:15, 24 October 2014‎ Jochen Burghardt talk contribs‎ 5,945 bytes −29‎ Undid revision 630929841 by Kri (talk): link is already in the lead, even with an explanation undo
curprev 13:2113:21, 24 October 2014‎ Kri talk contribs‎ 5,974 bytes +29‎ New section: See also + linked to Soundness undo

curprev 00:3800:38, 19 October 2014‎ Hyacinth talk contribs‎ 5,945 bytes +15‎ →‎References: {{Metalogic}} undo

curprev 19:4119:41, 30 July 2014‎ Jochen Burghardt talk contribs‎ 5,930 bytes +4‎ →‎top: wikilink undo

curprev 22:4322:43, 3 May 2014‎ Michael Hardy talk contribs‎ 3,739 bytes 0‎ No edit summary undo

curprev 09:1009:10, 27 April 2014‎ SiddMahen talk contribs‎ 3,739 bytes +186‎ Included short paragraph about incompleteness. Fixed typo. undo Tag: Visual edit

curprev 19:1419:14, 21 April 2014‎ Gregbard talk contribs‎ m 3,553 bytes +2‎ indnt undo
curprev 19:1319:13, 21 April 2014‎ Gregbard talk contribs‎ 3,551 bytes +42‎ fx undo
curprev 19:1219:12, 21 April 2014‎ Gregbard talk contribs‎ m 3,509 bytes +148‎ exp undo

22 April 2024

19 November 2023

16 October 2023

10 October 2022

24 August 2022

12 July 2022

11 July 2022

19 April 2022

24 January 2022

21 November 2021

3 September 2018

30 August 2018

4 January 2018

31 August 2016

21 August 2016

5 April 2016

5 September 2015

4 September 2015

14 April 2015

29 November 2014

16 November 2014

2 November 2014

24 October 2014

19 October 2014

30 July 2014

29 May 2014

3 May 2014

27 April 2014

21 April 2014