Skip to main content
Mathematics
Peter Smith's user avatar
Peter Smith's user avatar
Peter Smith's user avatar
Peter Smith
  • Member for 12 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
55,601
reputation
411
reached
0
answers
1
question
Communities
View all
About

Retired from Cambridge University, interested in logic and philosophy of maths.

I waste time on twitter @PeterSmith (http://twitter.com/PeterSmith/)

For more about me, and links to my blog and website, see http://www.logicmatters.net/about/

Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
3
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
14
'Predicate-logic' the best tag?
Jan 22, 2013
Top network posts
View all network posts
191
Why don't we define "imaginary" numbers for every "impossibility"?
83
Prove that the union of countably many countable sets is countable.
62
Fun but serious mathematics books to gift advanced undergraduates.
58
We all use mathematical induction to prove results, but is there a proof of mathematical induction itself?
54
Implies ($\Rightarrow$) vs. Entails ($\models$) vs. Provable ($\vdash$)