TeX - LaTeX
user103227's user avatar
user103227's user avatar
user103227's user avatar
user103227
  • Member for 2 years, 8 months
  • Last seen this week
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

PhD in logic. Postdoc in computational linguistics at CLASP, University of Gothenburg, Sweden.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
11
cut-elimination provable in PRA
9
Is every true statement independent of $PA$ equivalent to some consistency statement?
8
What is the logical status of the sentence combining the ideas of Löb and Rosser, "this sentence is provable before any proof of its negation"?
7
Who first proved that we can prove that we prove things we prove?
5
Unprovable cases of $\Pi^0_1$-conservativity

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.