Peter Smith

less info
meta site favicon meta user | stack exchange network profile network profile
12,542 reputation
11234
bio website logicmatters.net
location Cambridge, United Kingdom
age
visits member for 11 months
seen 15 mins ago
stats profile views 1,202

Recently retired from Cambridge Philosophy Faculty, interested in logic and philosophy of maths.

For more about me, see http://www.logicmatters.net/about/


314 Answers

newest activity votes
71
Why don't we define “imaginary” numbers for every “impossibility”?
dec 15 at 23:51
41
If $f(x)\leq f(f(x))$ for all $x$, is $x\leq f(x)$?
nov 4 at 6:51
27
Logic nonsense/paradox
oct 9 at 13:26
26
Fun but serious mathematics books to gift advanced undergraduates.
dec 24 at 8:16
20
If it takes infinite steps to prove a statement, is that a valid proof?
sep 10 at 15:04
14
What are some good math specific study habits?
sep 6 at 7:39
13
What is the prerequisite knowledge for learning Godel's incompleteness theorem
oct 1 at 18:03
12
Why do we believe the Church-Turing Thesis?
may 26 at 15:14
11
How did the ancients view *infinitesimals*?
feb 17 at 16:51
11
Modus Ponens: implication versus entailment
jan 26 at 8:05
11
Short forms like “haven't”, “don't”, “let's”
sep 21 at 15:27
10
Is $\forall x\,\exists y\, Q(x, y)$ the same as $\exists y\,\forall x\,Q(x, y)$?
feb 14 at 19:20
9
Is Gödel's incompleteness theorem provable without any model-theoretic notion?
jun 14 at 21:37
9
How far can one get in analysis without leaving $\mathbb{Q}$?
may 10 at 10:43
9
Why is it important to study combinatorics?
may 6 at 16:54
9
What's the problem this logic
apr 5 at 7:21
9
Is there an numeric arithmetic with a single operator?
mar 22 at 23:56
9
which texts do you recommend to study mathematical logic?
jan 9 at 18:37
9
Does Gödel's Incompleteness Theorem really say anything about the limitations of theoretical physics?
nov 4 at 11:17
9
How do you prove that proof by induction is a proof?
oct 17 at 19:51
8
What are the formal properties of Godel numbering that are required to make it 'work'?
feb 11 at 22:45
8
What have been some of the most revolutionary philosophical shifts in perspective in mathematics?
apr 20 at 20:43
8
Any branch of math can be expressed within set theory, is the reverse true?
apr 19 at 15:09
8
Origin of the Notion of a Well-Formed Formula
sep 27 at 7:05
8
Book on the Rigorous Foundations of Mathematics- Logic and Set Theory
dec 26 at 13:58
8
How to introduce advanced set-theoretical objects to philosophy students?
dec 19 at 8:49
8
Can elements in a set be duplicated?
oct 29 at 11:58
7
What is the relationship between “recursive” or “recursively enumerable” sets and the concept of recursion?
may 21 at 19:56
7
Does mathematics require axioms?
apr 19 at 21:54
7
Interpretation of “not equal” notation
apr 13 at 15:21
1 2 3 4 5 … 11