Philosophy
Meta user
Network profile
664
reputation
3
10

Noah Schweber

A postdoc at UW-Madison (previously a grad student at UC-Berkeley), interested in mathematical logic - specifically, computability theory and reverse mathematics, set theory, and abstract model theory. I'm also interested in other Nifty Things, in mathematics and elsewhere.

17
answers
0
questions
~4k
people reached

Communities (12)

Top Meta Posts
1
2

Top network posts

Top tags (19)

Score 42
Posts 9
Posts % 53
Score 20
Posts 8
Score 14
Posts 2
Score 12
Posts 2
Score 11
Posts 2
Score 9
Posts 3
View all tags →

Top posts (17) All Questions Answers | Votes Newest

9 Can incompleteness be eliminated by redefining the notion of a formal system? Jul 25
8 What's so bad about giving up the Axiom of Choice? May 20
6 What theorems are most important for the foundation of mathematics? Mar 11
5 Decidability of predicate logic Aug 5
5 Should truth entail possible truth? Apr 12
5 Existence of numbers on number line Jul 13
4 Do Gödel's First Incompleteness Theorem imply the inconsistency of Platonic Infinity? Aug 5
3 Why do we need model theory to express semantics? Jun 1
3 Are there truth tables for strict implication? Jun 1
2 Gödel: Why is a proposition undecidable? Jan 11 '17
View all questions and answers →

Badges (13)

Gold

—

Silver

3

Rarest

Bronze

10

Rarest

View all badges →