User contributions for Unzerlegbarkeit
Appearance
A user with 189 edits. Account created on 14 May 2008.
23 August 2011
- 04:2804:28, 23 August 2011 diff hist +904 Talk:Diaconescu's theorem →This proof is a strawman argument
14 February 2011
- 04:4904:49, 14 February 2011 diff hist +65 Self-verifying theories mention Robinson arithmetic
1 August 2010
- 00:4300:43, 1 August 2010 diff hist +235 Talk:Super-recursive algorithm →This page is still here?
- 00:3500:35, 1 August 2010 diff hist −2,343 Super-recursive algorithm →References: trimming of some apparently irrelevant references
- 00:3100:31, 1 August 2010 diff hist −1,418 Super-recursive algorithm →Examples: section removed
- 00:2000:20, 1 August 2010 diff hist +150 Nilpotent group →Examples: +direct product and finite converse
- 00:0800:08, 1 August 2010 diff hist +25 m Quasidihedral group No edit summary
- 00:0300:03, 1 August 2010 diff hist +214 Nilpotent group reorder a bit ; add maximum nilpotency class
31 July 2010
- 23:5423:54, 31 July 2010 diff hist −4 Maximal class ?!?! I meant -> nilpotent group current
- 23:4923:49, 31 July 2010 diff hist −260 Maximal class redirect to quasidihedral group (not much else to say about it really)
- 23:4723:47, 31 July 2010 diff hist −8,859 User talk:Unzerlegbarkeit archive current
15 May 2010
- 22:1722:17, 15 May 2010 diff hist +589 Talk:Markov's principle →Curry-Howard
1 May 2010
- 23:5023:50, 1 May 2010 diff hist +1 Scott's trick No edit summary
17 April 2010
- 02:5502:55, 17 April 2010 diff hist +250 Specker sequence take image and translate caption from french page
15 April 2010
- 03:5203:52, 15 April 2010 diff hist +24 m Heyting field link field
- 03:5203:52, 15 April 2010 diff hist +20 m Field (mathematics) →See also: +Heyting field
- 03:0903:09, 15 April 2010 diff hist +823 N Heyting field Heyting field = field with apartness
14 April 2010
12 April 2010
- 12:3912:39, 12 April 2010 diff hist +704 Talk:Inhabited set →"nonempty, noninhabited set"
- 04:5104:51, 12 April 2010 diff hist +366 Talk:Inhabited set →"nonempty, noninhabited set"
- 03:1803:18, 12 April 2010 diff hist +3 Talk:Inhabited set →"nonempty, noninhabited set"
- 03:1803:18, 12 April 2010 diff hist +389 Talk:Inhabited set →"nonempty, noninhabited set"
- 02:4002:40, 12 April 2010 diff hist +252 Talk:Inhabited set →"nonempty, noninhabited set": new section
- 02:3002:30, 12 April 2010 diff hist +11 Inhabited set {{dubious}} on "nonempty, noninhabited set"
- 01:2201:22, 12 April 2010 diff hist +368 Talk:Supertask →Nonsense in section on Ross-Littlewood (infinitely many marbles) paradox
- 00:5400:54, 12 April 2010 diff hist −37 Supertask →Davies' super-machine: {{who}}; rm "technological singularity" which is not a supertask.
21 February 2010
- 18:4218:42, 21 February 2010 diff hist −19 m Church's thesis (constructive mathematics) -{{mathlogic-stub}}
- 18:4018:40, 21 February 2010 diff hist +1,829 Church's thesis (constructive mathematics) expand some more
20 February 2010
- 23:4523:45, 20 February 2010 diff hist +56 N Extended Church's thesis ←Redirected page to Church's thesis (constructive mathematics) current
- 23:4423:44, 20 February 2010 diff hist +537 Church's thesis (constructive mathematics) Expand on extended church's thesis
29 December 2009
- 20:3620:36, 29 December 2009 diff hist +3 m Constructive proof →Example: link sqrt(2) for proof
- 20:3220:32, 29 December 2009 diff hist +130 Constructive proof →Example: appeal to FToA unclear, replaced. Moved constructive proof after non-constructive.
28 December 2009
- 05:3305:33, 28 December 2009 diff hist +652 Talk:Super-recursive algorithm →This page is still here?: new section
- 05:2005:20, 28 December 2009 diff hist +30 Talk:Super-recursive algorithm +archive link
13 August 2008
- 17:2517:25, 13 August 2008 diff hist −4,397 List of uniform polyhedra remove tilings
- 17:1017:10, 13 August 2008 diff hist +384 Talk:Derived set (mathematics) →S** subset S*
- 16:4116:41, 13 August 2008 diff hist +535 Talk:Super-recursive algorithm/Archive1 →Merge proposal
8 August 2008
- 19:2219:22, 8 August 2008 diff hist +31 m Toroidal graph →Examples: link target
- 18:5118:51, 8 August 2008 diff hist −74 Indecomposable continuum Remove mergeto and remove circular link to decomposable.
- 18:4818:48, 8 August 2008 diff hist +22 m Lie algebra representation →Properties: change target for "decomposable"
- 18:4618:46, 8 August 2008 diff hist +2 m Decomposable dbl redir
- 18:4518:45, 8 August 2008 diff hist −520 Decomposable continuum redirect to indecomposable without merging - no information here. "Decomposable group" has nothing to do with continua. current
- 18:4118:41, 8 August 2008 diff hist +386 Talk:List of uniform polyhedra No edit summary
- 18:3518:35, 8 August 2008 diff hist +107 List of uniform polyhedra →Convex forms (5 faces/vertex): +missing hyperbolic tiling
- 18:3118:31, 8 August 2008 diff hist +155 List of uniform polyhedra →Convex forms (4 faces/vertex): + missing hyperbolic tiling
- 17:4417:44, 8 August 2008 diff hist +716 Talk:Super-recursive algorithm/Archive1 →Merge proposal
- 16:5616:56, 8 August 2008 diff hist +318 Talk:List of uniform polyhedra No edit summary
- 16:4816:48, 8 August 2008 diff hist +116 List of uniform polyhedra →Convex forms (3 faces/vertex): +missing hyperbolic tiling
- 16:0216:02, 8 August 2008 diff hist +467 Talk:Super-recursive algorithm/Archive1 →Merge proposal
- 15:5315:53, 8 August 2008 diff hist +3 m Robertson–Seymour theorem →Consequences