Jump to content

Church's thesis (constructive mathematics): Revision history

View logs for this page (view filter log)

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 14:1214:12, 21 April 2024 88.116.31.14 talk 15,613 bytes +1 →Relationship to classical logic undo

curprev 00:0200:02, 14 March 2024 77.119.168.148 talk 15,612 bytes +19 No edit summary undo

curprev 11:2611:26, 28 January 2024 77.119.160.253 talk 15,593 bytes +84 Delinate axioms undo

curprev 17:0817:08, 16 January 2024 91.141.43.225 talk 15,509 bytes +34 No edit summary undo

curprev 23:0523:05, 29 November 2023 91.141.60.187 talk 15,475 bytes +4 →Relationship to classical logic undo
curprev 23:0123:01, 29 November 2023 91.141.60.187 talk 15,471 bytes +18 →Relationship to classical logic undo
curprev 22:5822:58, 29 November 2023 91.141.60.187 talk 15,453 bytes +60 Improve prose by breaking a sentence in two undo

curprev 15:4315:43, 26 November 2023 91.112.18.90 talk 15,393 bytes −15 →Relationship to classical logic: The function denotes h here undo

curprev 13:1713:17, 24 September 2023 212.186.132.66 talk 15,408 bytes +47 No edit summary undo
curprev 13:1013:10, 24 September 2023 212.186.132.66 talk 15,361 bytes +16 →Formal statement undo

curprev 14:4414:44, 26 August 2023 Elttaruuu talk contribs m 15,345 bytes +28 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 10:2110:21, 22 July 2023 83.64.100.29 talk 15,317 bytes +4 →Higher order formulation: Link to extensional equality undo
curprev 10:1910:19, 22 July 2023 83.64.100.29 talk 15,313 bytes +75 →Formal statement undo

curprev 16:3216:32, 28 May 2023 93.83.185.90 talk 15,238 bytes 0 →Higher order formulation undo
curprev 16:3116:31, 28 May 2023 93.83.185.90 talk 15,238 bytes +46 →Higher order formulation undo

curprev 17:0017:00, 16 May 2023 91.141.58.24 talk 15,192 bytes +57 →Formal statement undo

curprev 23:1023:10, 15 May 2023 178.165.191.122 talk 15,135 bytes +16 →Formal statement undo
curprev 16:0316:03, 15 May 2023 46.125.249.56 talk 15,119 bytes +8 →Higher order formulation undo Tags: Mobile edit Mobile web edit

curprev 16:5416:54, 14 May 2023 91.112.18.90 talk 15,111 bytes +253 →Formal statement undo

curprev 21:1621:16, 6 May 2023 178.165.172.82 talk 14,858 bytes 0 →Relationship to classical logic undo

curprev 18:3318:33, 2 May 2023 178.165.173.249 talk 14,858 bytes +3 →Higher order formulation undo

curprev 18:3818:38, 29 April 2023 91.112.18.90 talk 14,855 bytes −60 →Formal statement undo
curprev 18:1518:15, 29 April 2023 91.112.18.90 talk 14,915 bytes 0 →Formal statement undo
curprev 18:1118:11, 29 April 2023 91.112.18.90 talk 14,915 bytes +20 Common arg order undo

curprev 21:0021:00, 28 April 2023 178.115.38.31 talk 14,895 bytes +171 Add Troelstra reference undo
curprev 20:5020:50, 28 April 2023 178.115.38.31 talk 14,724 bytes 0 No edit summary undo
curprev 20:4220:42, 28 April 2023 178.115.38.31 talk 14,724 bytes +104 No edit summary undo
curprev 20:3020:30, 28 April 2023 178.115.38.31 talk 14,620 bytes +205 →Formal statement undo

curprev 16:1716:17, 27 April 2023 178.115.76.169 talk 14,415 bytes +14 →Higher order formulation undo

curprev 21:4721:47, 26 April 2023 91.141.35.5 talk 14,401 bytes +155 →Higher order formulation undo
curprev 18:0918:09, 26 April 2023 91.141.35.5 talk 14,246 bytes −7 →Functional premise undo
curprev 18:0918:09, 26 April 2023 91.141.35.5 talk 14,253 bytes +59 →Functional premise undo
curprev 18:0718:07, 26 April 2023 91.141.35.5 talk 14,194 bytes +53 →Formal statement: Sharper explainer text undo

curprev 19:1219:12, 25 April 2023 91.141.65.143 talk 14,141 bytes +6 →Weaker statements undo
curprev 19:1219:12, 25 April 2023 91.141.65.143 talk 14,135 bytes +35 →Weaker statements undo
curprev 19:0919:09, 25 April 2023 91.141.65.143 talk 14,100 bytes +9 No edit summary undo

curprev 01:5701:57, 23 April 2023 178.115.58.167 talk 14,091 bytes −22 →Extended Church's thesis undo
curprev 01:5301:53, 23 April 2023 178.115.58.167 talk 14,113 bytes +1 Weaker form to match multiple of the variants undo
curprev 01:1901:19, 23 April 2023 178.115.58.167 talk 14,112 bytes +102 →Weaker statements undo
curprev 01:1001:10, 23 April 2023 178.115.58.167 talk 14,010 bytes +260 →Weaker statements undo

curprev 22:3422:34, 20 April 2023 178.115.45.60 talk 13,750 bytes +168 →Extended Church's thesis: Functional premise version undo

curprev 20:3920:39, 14 April 2023 91.141.55.73 talk 13,152 bytes +78 No edit summary undo

curprev 19:2019:20, 8 April 2023 178.115.47.88 talk 13,074 bytes 0 →Realizers and metalogic undo
curprev 15:0415:04, 8 April 2023 83.64.100.29 talk 13,074 bytes +135 No edit summary undo
curprev 12:2412:24, 8 April 2023 178.115.55.36 talk 12,939 bytes +51 →Formal statement: Prose undo

Retrieved from "https://en.wikipedia.org/wiki/Church%27s_thesis_(constructive_mathematics)"