User contributions for 66.127.55.192
Appearance
Results for 66.127.55.192 talk block log logs global block log filter log
19 February 2010
- 12:0412:04, 19 February 2010 diff hist −238 83 (number) Undid revision 345004018 by 66.127.55.192 (talk) Tag: references removed
- 11:5911:59, 19 February 2010 diff hist +238 83 (number) add citation for primality proof
- 11:0711:07, 19 February 2010 diff hist +154 Kurt Gödel →Further reading: Taussky-Todd recollection, online sources are good ;)
- 08:1008:10, 19 February 2010 diff hist +482 Talk:Hilbert's second problem →proof theoretic ordinal: new section
- 01:5701:57, 19 February 2010 diff hist +269 Talk:Hilbert's problems →baseball statistics: new section
18 February 2010
- 23:5323:53, 18 February 2010 diff hist +52 Talk:Class (set theory) →ZF
- 23:5323:53, 18 February 2010 diff hist +181 Talk:Class (set theory) →ZF
- 22:5622:56, 18 February 2010 diff hist +441 Talk:Class (set theory) →ZF
- 21:1921:19, 18 February 2010 diff hist +144 Wikipedia:Reference desk/Language →extrapolation
- 13:3213:32, 18 February 2010 diff hist +459 Talk:Arithmetical hierarchy →logic hierarchy
- 11:1211:12, 18 February 2010 diff hist +145 Jean-Yves Girard →External links: add conference web site--names and topics in it make it easy to websearch around for related interesting stuff
- 10:2610:26, 18 February 2010 diff hist +81 Talk:Gödel's incompleteness theorems →history section
- 10:2010:20, 18 February 2010 diff hist +191 Talk:Gödel's incompleteness theorems →history section
- 10:1310:13, 18 February 2010 diff hist +353 Talk:Gödel's incompleteness theorems →history section
- 10:0610:06, 18 February 2010 diff hist +50 Talk:Gödel's incompleteness theorems →Girard
- 10:0410:04, 18 February 2010 diff hist +292 Talk:Gödel's incompleteness theorems →history section
- 08:2908:29, 18 February 2010 diff hist +137 Wikipedia:Reference desk/Language →what is the official term for
- 06:2406:24, 18 February 2010 diff hist +375 Talk:Continuum hypothesis →Dehornoy article: new section
- 06:1006:10, 18 February 2010 diff hist +868 Talk:Gödel's incompleteness theorems →history section
- 05:4605:46, 18 February 2010 diff hist +468 Wikipedia:Reference desk/Language →place name and family name
- 05:3905:39, 18 February 2010 diff hist +227 Wikipedia:Reference desk/Language →Whoever vs. whomever
- 02:3402:34, 18 February 2010 diff hist +77 Wikipedia:Reference desk/Language →place name and family name
- 02:3202:32, 18 February 2010 diff hist +410 Wikipedia:Reference desk/Language →place name and family name
- 02:2502:25, 18 February 2010 diff hist +24 Wikipedia:Reference desk/Language →Use of the word 'liberal' in America
- 02:2402:24, 18 February 2010 diff hist +927 Wikipedia:Reference desk/Language →Use of the word 'liberal' in America
- 01:2801:28, 18 February 2010 diff hist +56 Wikipedia:Reference desk/Mathematics →Consistency of arithmetic Mod N
- 01:2101:21, 18 February 2010 diff hist +18 Wikipedia:Reference desk/Mathematics →Consistency of arithmetic Mod N
- 01:1501:15, 18 February 2010 diff hist +570 Wikipedia:Reference desk/Mathematics →Consistency of arithmetic Mod N
- 00:1600:16, 18 February 2010 diff hist +23 Talk:Arithmetical hierarchy →logic hierarchy
- 00:1300:13, 18 February 2010 diff hist +652 Talk:Arithmetical hierarchy →logic hierarchy: new section
- 00:0800:08, 18 February 2010 diff hist −499 Talk:Arithmetical hierarchy →Logical hierarchy
- 00:0600:06, 18 February 2010 diff hist +499 Talk:Arithmetical hierarchy →Logical hierarchy: new section
17 February 2010
- 23:5223:52, 17 February 2010 diff hist +9 Wikipedia:Reference desk/Mathematics →Integral of 1/x
- 23:5123:51, 17 February 2010 diff hist +131 Wikipedia:Reference desk/Mathematics →Integral of 1/x
- 23:4723:47, 17 February 2010 diff hist +372 Wikipedia:Reference desk/Mathematics →Integral of 1/x
- 23:1923:19, 17 February 2010 diff hist +322 Talk:Gödel's incompleteness theorems →history section
- 18:5818:58, 17 February 2010 diff hist +50 Talk:Class (set theory) →ZF
- 18:5718:57, 17 February 2010 diff hist +1,202 Talk:Class (set theory) →ZF: new section
- 18:0218:02, 17 February 2010 diff hist +6 Mathematical induction →Axiom of induction: m clarity
- 17:5717:57, 17 February 2010 diff hist +384 Talk:Continuum hypothesis →Goedel: new section
- 17:4317:43, 17 February 2010 diff hist +35 Continuum hypothesis →Arguments for and against CH: I don't think Goedel thought ZFC was actually wrong
- 11:5211:52, 17 February 2010 diff hist +969 Wikipedia:Administrators' noticeboard/Incidents →Harassment
- 11:3011:30, 17 February 2010 diff hist +324 Wikipedia:Administrators' noticeboard/Incidents →speedtrap.org
- 10:5810:58, 17 February 2010 diff hist +393 Wikipedia:Reference desk/Computing →Noisy server
- 10:0910:09, 17 February 2010 diff hist +346 Talk:Common logarithm →lg x: new section
- 09:4609:46, 17 February 2010 diff hist +62 Coinduction →References: add alternate link to author homepage of Jacobs/Rutten paper. Citeseer is REALLY slow lately.
- 09:3609:36, 17 February 2010 diff hist +619 Talk:Mathematical induction →1st vs 2nd order logic: new section
- 09:3009:30, 17 February 2010 diff hist +429 Mathematical induction →Axiom of induction: first vs. second order logic
- 09:1609:16, 17 February 2010 diff hist +719 Wikipedia:Reference desk/Language →Use of the word 'liberal' in America
- 08:0308:03, 17 February 2010 diff hist +191 Wikipedia:Reference desk/Language →place name and family name