Brouwer–Heyting–Kolmogorov interpretation: 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 01:2601:26, 3 March 2024‎ Ethaniel talk contribs‎ m 7,957 bytes +30‎ →‎Examples: Added link to modus ponens undo Tags: Mobile edit Mobile app edit Android app edit

curprev 01:1201:12, 16 January 2024‎ Marc Schroeder talk contribs‎ m 7,927 bytes +90‎ No edit summary undo

curprev 01:3401:34, 21 October 2023‎ 2600:4041:7b21:8b00:cb4a:f0e5:e16c:a6dd talk‎ 7,837 bytes 0‎ →‎See also undo Tags: Mobile edit Mobile web edit

curprev 23:0623:06, 24 July 2023‎ Citation bot talk contribs‎ 7,837 bytes 0‎ Alter: template type. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 09:1009:10, 23 July 2023‎ DinoD123 talk contribs‎ 7,837 bytes +50‎ added See Also section linking to Curry–Howard correspondence undo

curprev 12:3212:32, 14 July 2023‎ Topynate talk contribs‎ 7,787 bytes +2‎ →‎The interpretation: Fixed missing variables undo Tags: Mobile edit Mobile web edit

curprev 14:0714:07, 19 June 2023‎ Trappist the monk talk contribs‎ m 7,785 bytes −4‎ cite repair; undo

curprev 02:2202:22, 20 April 2023‎ NicolinoChess31415926 talk contribs‎ m 7,789 bytes +6‎ syntax clarity undo

curprev 17:0417:04, 27 June 2022‎ PointlessUsername talk contribs‎ 7,783 bytes +8‎ MOS:SECTIONSTYLE undo Tag: Visual edit

curprev 18:5618:56, 27 January 2022‎ Citation bot talk contribs‎ 7,775 bytes +3‎ Alter: template type. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 23/98 undo

curprev 19:4619:46, 26 January 2022‎ Citation bot talk contribs‎ 7,772 bytes −2‎ Alter: template type. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 203/1972 undo

curprev 23:2223:22, 13 January 2022‎ I dream of horses talk contribs‎ m 7,774 bytes +11‎ Wikiproject Check Wiki patrol with AutoWikibrowser undo Tag: AWB

curprev 21:2221:22, 11 January 2022‎ 2001:569:7fe1:4b00:b9d8:2992:4a12:690e talk‎ 7,763 bytes +208‎ No edit summary undo
curprev 21:1521:15, 11 January 2022‎ 2001:569:7fe1:4b00:b9d8:2992:4a12:690e talk‎ 7,555 bytes +134‎ →‎The interpretation: Better typesetting undo

curprev 22:3722:37, 26 January 2021‎ Joel Brennan talk contribs‎ m 7,421 bytes +140‎ added wikilinks undo

curprev 09:0909:09, 28 October 2020‎ Jordan Mitchell Barrett talk contribs‎ m 7,281 bytes +4‎ Link to realizability undo Tag: Visual edit

curprev 18:2618:26, 3 April 2020‎ 2.203.122.15 talk‎ 7,277 bytes −1‎ Space undo

curprev 21:2521:25, 6 March 2020‎ Citation bot talk contribs‎ m 7,278 bytes −62‎ Add: citeseerx. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | via #UCB_webform undo

curprev 01:3401:34, 22 February 2020‎ Quondum talk contribs‎ 7,340 bytes +12‎ →‎What is absurdity?: sp undo

curprev 17:2417:24, 19 August 2019‎ 132.62.88.128 talk‎ 7,328 bytes +2‎ →‎What is absurdity? undo

curprev 19:3319:33, 19 September 2018‎ 2600:1011:b009:b864:fc64:e531:d52b:a123 talk‎ 7,326 bytes +54‎ Just some brief typesetting changes. Function symbols were butting up against subsequent text in an awkward way. undo
curprev 19:2919:29, 19 September 2018‎ 2600:1011:b009:b864:fc64:e531:d52b:a123 talk‎ 7,272 bytes +54‎ →‎Examples undo

curprev 15:0915:09, 15 September 2018‎ MathPerson7295 talk contribs‎ 7,218 bytes +30‎ →‎Examples: Change to more formal language undo Tags: Mobile edit Mobile web edit

curprev 08:4408:44, 9 November 2017‎ Ditto Duck Penguin talk contribs‎ 7,188 bytes +51‎ Seems unclear || Undid revision 809468498 by 83.241.181.4 (talk) undo
curprev 08:4308:43, 9 November 2017‎ 83.241.181.4 talk‎ 7,137 bytes −51‎ →‎The interpretation undo

curprev 14:0014:00, 26 October 2017‎ Ancheta Wis talk contribs‎ 7,188 bytes +68‎ →‎The interpretation: synonyms for up-tack undo

curprev 07:1007:10, 24 October 2017‎ Ppotgiet talk contribs‎ m 7,120 bytes +2‎ →‎The interpretation: Minor correction in syntax. ;-) undo
curprev 07:0907:09, 24 October 2017‎ Ppotgiet talk contribs‎ 7,118 bytes +52‎ →‎The interpretation: Further improvement in consistency of mathematical notation. undo
curprev 07:0707:07, 24 October 2017‎ Ppotgiet talk contribs‎ 7,066 bytes +27‎ →‎The interpretation undo
curprev 07:0607:06, 24 October 2017‎ Ppotgiet talk contribs‎ m 7,039 bytes +28‎ →‎The interpretation: Improved consistency of maths representation. undo

curprev 20:2020:20, 4 April 2017‎ 98.10.34.35 talk‎ 7,011 bytes +4‎ No edit summary undo

curprev 20:5720:57, 7 February 2017‎ 24.85.232.10 talk‎ 7,007 bytes −8‎ →‎The interpretation undo
curprev 20:5620:56, 7 February 2017‎ 24.85.232.10 talk‎ 7,015 bytes −1‎ →‎What is absurdity? undo

curprev 22:0022:00, 25 November 2016‎ 84.93.190.255 talk‎ 7,016 bytes +46‎ →‎References undo

curprev 08:0908:09, 3 November 2016‎ 84.112.182.74 talk‎ 6,970 bytes +146‎ →‎Examples undo

curprev 00:5600:56, 17 May 2016‎ Dmitrizaitsev talk contribs‎ m 6,824 bytes +3‎ →‎The interpretation: Space added for readability undo Tag: Visual edit

curprev 07:2807:28, 3 October 2015‎ Cofunctor talk contribs‎ m 6,821 bytes +1‎ →‎Examples: put a space undo

curprev 10:0510:05, 27 May 2015‎ 176.0.44.220 talk‎ 6,820 bytes +6‎ →‎The interpretation: harmonize φs undo

curprev 23:5923:59, 3 January 2015‎ 86.167.19.250 talk‎ 6,814 bytes −5‎ →‎Examples undo

curprev 18:3218:32, 30 October 2014‎ 24.135.20.123 talk‎ 6,819 bytes +28‎ The first reference became a dead link; changed it to the current location of the paper undo

curprev 19:4219:42, 8 April 2014‎ 92.129.11.67 talk‎ 6,791 bytes −2‎ →‎What is a function? undo
curprev 19:3719:37, 8 April 2014‎ 92.129.11.67 talk‎ 6,793 bytes −3‎ →‎The interpretation undo

curprev 10:5510:55, 20 April 2013‎ Yobot talk contribs‎ m 6,796 bytes +58‎ →‎References: WP:CHECKWIKI error fixes - Replaced endash with hyphen in sortkey per WP:MCSTJR using AWB (9100) undo

curprev 06:3606:36, 14 March 2013‎ Addbot talk contribs‎ m 6,738 bytes −71‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q3153567 undo

curprev 20:4420:44, 16 February 2013‎ Bender235 talk contribs‎ 6,809 bytes +96‎ →‎References undo

curprev 13:5113:51, 20 July 2012‎ YFdyh-bot talk contribs‎ m 6,713 bytes +53‎ r2.7.3) (Robot: Adding fr:Interprétation de Brouwer-Heyting-Kolmogorov undo

curprev 13:4113:41, 27 April 2012‎ 136.152.208.99 talk‎ 6,660 bytes +1‎ →‎The interpretation undo
curprev 13:4013:40, 27 April 2012‎ 136.152.208.99 talk‎ 6,659 bytes +1‎ →‎The interpretation undo

curprev 13:2113:21, 19 March 2012‎ Burritoburritoburrito talk contribs‎ 6,658 bytes −10‎ "ought" ought not be present in a definition. undo

curprev 22:5922:59, 22 February 2012‎ Cydebot talk contribs‎ m 6,668 bytes +1‎ Robot - Moving category Mathematical constructivism to Category:Constructivism (mathematics) per CFD at Wikipedia:Categories for discussion/Log/2012 February 15. undo

3 March 2024

16 January 2024

21 October 2023

24 July 2023

23 July 2023

14 July 2023

19 June 2023

20 April 2023

27 June 2022

27 January 2022

26 January 2022

13 January 2022

11 January 2022

26 January 2021

28 October 2020

3 April 2020

6 March 2020

22 February 2020

19 August 2019

19 September 2018

15 September 2018

9 November 2017

26 October 2017

24 October 2017

4 April 2017

7 February 2017

25 November 2016

3 November 2016

17 May 2016

3 October 2015

27 May 2015

3 January 2015

30 October 2014

8 April 2014

20 April 2013

14 March 2013

16 February 2013

20 July 2012

27 April 2012

19 March 2012

22 February 2012