MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

axiomsofchoice

53
Reputation
81 views
Is this your account?

Registered User 

Name axiomsofchoice
Member for 3 years
Seen Aug 20 2011 at 23:17
Website
Location Biggleswade, United Kingdom
Age 30
My background is Computer Science and my current interests include Category Theory.

votes newest views recent
283

162
128
votes
59
answers
66k
views

Proofs without words [closed]

dec 2 at 7:18 Alon Amit 4,035●15●40

55
92
votes
37
answers
43k
views

Too old for advanced mathematics? [closed]

dec 24 11 at 10:45 Steve 1●1

100
63
votes
74
answers
16k
views

Examples of great mathematical writing

dec 15 at 4:14 Rodrigo A. Pérez 1,770●9●22

25
54
votes
11
answers
5k
views

Has mathoverflow yet led to mathematical breakthroughs? [closed]

may 14 12 at 1:02 Changwei Zhou 508●6●11

39
47
votes
33
answers
7k
views

Experimental Mathematics

mar 1 at 15:35 Julien Puydt 1,141●1●7●16

22

42
29
votes
14
answers
7k
views

The importance of EGA and SGA for “students of today”

feb 3 11 at 14:57 Fitzcarraldo 493●7●9

30
27
votes
17
answers
4k
views

Great mathematical figures and/or diagrams?

dec 15 at 0:27 François G. Dorais♦ 23.2k●2●52●116

12
22
votes
5
answers
2k
views

Proof assistants for mathematics

feb 18 10 at 13:53 Charles Stewart 1,669●9●15

22

16
16
votes
11
answers
4k
views

Programming Languages based on Category Theory

aug 29 10 at 16:53 sleepless in beantown 2,081●5●13

26

10
12
votes
10
answers
3k
views

Thematic Programs for 2010-2011?

feb 2 11 at 8:17 Dan Petersen 10.4k●1●22●46

8
12
votes
8
answers
2k
views

What is lambda calculus related to?

dec 3 10 at 3:49 Karl S 41●2

1 2 next