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).

Martyguy

41

Reputation

34 views

Registered User

Name	Martyguy
Member for	3 years
Seen	Nov 3 2009 at 16:32
Website
Location
Age

stats recent reputation favorites

1

Questions

1

2

votes

2

answers

368

views

Minimal axiom system for a set of provable statements

lo.logic

nov 2 09 at 6:22 Andrew Critch 5,946●12●45

2

Answers

Memorizing theorems

When are two proofs of the same theorem really different proofs

0

Votes

3

Tags

lo.logic× 2
soft-question
proof-theory

2

Badges