Jump to content

Brouwer–Heyting–Kolmogorov interpretation: 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 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

curprev 16:5716:57, 2 February 2011‎ Ruud Koot talk contribs‎ 6,667 bytes +43‎ Category:Dependently typed programming undo

curprev 19:5719:57, 3 December 2010‎ 86.194.206.72 talk‎ 6,624 bytes +6‎ →‎Examples: coherence undo

curprev 17:5817:58, 27 September 2010‎ Michael Hardy talk contribs‎ 6,618 bytes +105‎ No edit summary undo

curprev 09:5709:57, 20 June 2010‎ Carbo1200 talk contribs‎ 6,513 bytes +33‎ link to formula undo

curprev 14:4814:48, 13 November 2009‎ CBM2 talk contribs‎ 6,480 bytes −32‎ →‎References: rm parent cat undo

curprev 16:2116:21, 26 May 2009‎ 130.126.140.8 talk‎ 6,512 bytes +55‎ →‎What is a function? undo
curprev 16:1516:15, 26 May 2009‎ 130.126.140.8 talk‎ 6,457 bytes +147‎ Added a reference to Curry-Howard correspondence undo

curprev 23:3423:34, 6 June 2008‎ Algebraist talk contribs‎ m 6,310 bytes 0‎ moved Brouwer-Heyting-Kolmogorov interpretation to Brouwer–Heyting–Kolmogorov interpretation: hyphens to dashes, per WP:DASH undo
curprev 23:3323:33, 6 June 2008‎ Algebraist talk contribs‎ m 6,310 bytes +6‎ hyphens to dashes, per WP:DASH undo

curprev 16:1916:19, 12 May 2008‎ 192.75.48.150 talk‎ 6,304 bytes +126‎ →‎The interpretation: + interp for s=t undo

curprev 14:5114:51, 14 April 2008‎ 192.75.48.150 talk‎ 6,178 bytes +363‎ →‎The interpretation undo

curprev 19:3219:32, 28 March 2008‎ Dominus talk contribs‎ m 5,815 bytes −3‎ →‎What is absurdity?: punct undo

curprev 02:1802:18, 12 February 2008‎ Gregbard talk contribs‎ m 5,818 bytes +4‎ logical system using AWB undo

curprev 23:0623:06, 5 January 2008‎ Charles Matthews talk contribs‎ m 5,814 bytes +20‎ lk undo

curprev 13:0513:05, 28 October 2007‎ 98.193.156.45 talk‎ 5,794 bytes −4‎ →‎The interpretation: -- minor grammatical edit undo

curprev 22:1622:16, 10 October 2007‎ 217.67.123.245 talk‎ 5,798 bytes −1‎ No edit summary undo

curprev 05:2105:21, 19 September 2007‎ Waltpohl talk contribs‎ m 5,799 bytes 0‎ fix link undo

curprev 01:3201:32, 17 September 2007‎ Ocoposet talk contribs‎ m 5,799 bytes 0‎ moved Brouwer-Heyting-Kolomogorov interpretation to Brouwer-Heyting-Kolmogorov interpretation: I suck. undo
curprev 01:3101:31, 17 September 2007‎ 74.100.225.24 talk‎ 5,799 bytes +54‎ full name undo
curprev 01:3001:30, 17 September 2007‎ Ocoposet talk contribs‎ m 5,745 bytes 0‎ moved BHK interpretation to Brouwer-Heyting-Kolomogorov interpretation: full name undo

curprev 05:5405:54, 21 May 2007‎ Pmanderson talk contribs‎ 5,745 bytes −580‎ Undid revision 114394219 by Wikimorphism (talk) as wrong undo

curprev 22:0922:09, 11 March 2007‎ Wikimorphism talk contribs‎ m 6,325 bytes +580‎ →‎The interpretation: -- added some examples of "functions"; minor clarifications. undo

curprev 15:4915:49, 14 February 2007‎ CBM talk contribs‎ 5,745 bytes +317‎ →‎Examples: expand slightly undo

curprev 04:2704:27, 5 January 2007‎ CBM talk contribs‎ m 5,428 bytes +7‎ →‎Intro: bypas redirect undo

curprev 18:0518:05, 15 November 2006‎ CBM talk contribs‎ 5,421 bytes +246‎ Add references undo

curprev 08:4008:40, 3 August 2006‎ Mhss talk contribs‎ m 5,175 bytes +18‎ No edit summary undo

curprev 14:4114:41, 16 July 2006‎ CBM talk contribs‎ 5,157 bytes +1‎ →‎What is a function?: edit link undo

curprev 19:3719:37, 27 June 2006‎ 192.75.48.150 talk‎ 5,156 bytes +984‎ Expand "absurdity", rearrange, fix link undo

curprev 15:3415:34, 17 June 2006‎ Mets501 talk contribs‎ m 4,172 bytes −6‎ clean up using AWB undo

curprev 14:3314:33, 9 June 2006‎ 192.75.48.150 talk‎ 4,178 bytes +941‎ →‎Examples: expand undo

curprev 15:2415:24, 5 June 2006‎ 192.75.48.150 talk‎ 3,237 bytes +541‎ →‎The interpretation: 0=1 in arithmetic. undo

curprev 15:3615:36, 9 May 2006‎ 192.75.48.150 talk‎ 2,696 bytes +41‎ +cat constructivism undo

curprev 22:3322:33, 26 December 2005‎ Karada talk contribs‎ 2,655 bytes 0‎ realizability theory undo
curprev 22:3222:32, 26 December 2005‎ Karada talk contribs‎ 2,655 bytes −1‎ == What is a function? == undo

curprev 20:0220:02, 19 December 2005‎ Charles Matthews talk contribs‎ m 2,656 bytes +4‎ →‎The interpretation undo
curprev 20:0120:01, 19 December 2005‎ Charles Matthews talk contribs‎ m 2,652 bytes −5‎ →‎The interpretation: fmt undo
curprev 20:0020:00, 19 December 2005‎ Charles Matthews talk contribs‎ m 2,657 bytes −11‎ →‎The interpretation: fmt undo

curprev 20:4420:44, 5 December 2005‎ Misza13 talk contribs‎ m 2,668 bytes −19‎ Tweak recursive functions undo

curprev 21:3121:31, 4 December 2005‎ Misza13 talk contribs‎ m 2,687 bytes +19‎ Popups-assisted redirection bypass from Recursive functions to recursive function undo

curprev 20:5820:58, 25 August 2005‎ 192.75.48.150 talk‎ 2,668 bytes +2,248‎ de-stub undo

Retrieved from "https://en.wikipedia.org/wiki/Brouwer–Heyting–Kolmogorov_interpretation"