Philosophy
Noah Schweber
  • Member for 6 years
  • Last seen this week
Profile Activity
Stats
3,102
reputation
30k
reached
76
answers
0
questions
Communities
View all
About

Academic-turned-teacher (but still doing research as a hobby), 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.

Badges
View all badges
1
gold badge
14
silver badges
18
bronze badges
Top tags
View all tags
143
Score
45
Posts
59
Posts %
60
Score
18
Posts
24
Posts %
38
Score
8
Posts
11
Posts %
37
Score
13
Posts
17
Posts %
27
Score
7
Posts
9
Posts %
21
Score
5
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
30
If the universe is finite does that nullify Godel's incompleteness, halting problem, and Church-Turing thesis?
Oct 3 '21
25
If you used intuitionistic logic in real life, would you not sound absurd?
Sep 18 '20
13
What does □□p mean?
Mar 11 '20
10
Is it possible for everything that exists to have a definition?
Aug 17 '21
10
Does there exist a "valid" application of Gödel's incompleteness to "logical natural language statements"?
Jan 21 '20
8
Is it possible to construct infinitely many non-equivalent formulas in predicate logic?
Aug 5 '19
7
Existence of numbers on number line
Jul 13 '19
5
Should truth entail possible truth?
Apr 12 '19
5
What theorems are most important for the foundation of mathematics?
Mar 11 '19
5
What's so bad about giving up the Axiom of Choice?
May 20 '19
Top Meta posts
3
5
10
Is this formal logic topic more appropriate at math.stackexchange?
6
Is this formal logic topic more appropriate at math.stackexchange?
6
Is thinking (and discussion) disallowed on the Philosophy site?
5
Should there be a "reopen/undelete suggestions" thread on meta?
4
How to learn from philosophy stackexchange?
Top network posts
View all network posts
221
Why is it important for a matrix to be square?
119
Where are the axioms?
84
What does it mean to suspect that two conjectures are logically equivalent?
79
Why write ten as $10$ and not as $00$
79
Is there a bijection between the reals and naturals?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.