Mathematics
10012511's user avatar
10012511's user avatar
10012511's user avatar
10012511
  • Member for 6 years, 3 months
  • Last seen this week
Profile Activity
Stats
670
reputation
3k
reached
1
answer
20
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
0
Score
14
Posts
67
Posts %
0
Score
5
Posts
24
Posts %
0
Score
3
Posts
14
Posts %
0
Score
3
Posts
14
Posts %
0
Score
3
Posts
14
Posts %
0
Score
3
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
12
Mathematical logic material for blind student
Oct 6, 2018
question
6
How to prove that first-order PA proves the consistency of each of its finite sub-theories?
Mar 25, 2019
question
5
When should one use transfinite induction?
Mar 22
question
4
What part of arithmetic can be founded on recursive functions and without unbounded quantification?
Oct 10, 2018
question
4
Can the axiom of choice be explicitly proved in (intuitionistic) predicate logic, or is something like intuitionistic type theory necessary?
Oct 23, 2018
question
4
Why does Hadamard claim that Pascal could have discovered non-Euclidean geometry
Mar 30, 2021
question
3
How much of Euclid's number theory can be reproduced in Hilbert's axiomatization of geometry?
Sep 12, 2019
question
3
Optimal bound for cost of cut elimination in infinitary logic with transfinite cut-rank in terms of Veblen's $\varphi$ function
Feb 20, 2020
question
2
Provable well-founded ordering
Apr 25, 2019
question
2
Equivalence of Apollonius definition of conics to earlier definition.
Sep 12, 2019
Top network posts
View all network posts
29
How to indicate obscurity in a translated quotation?

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.