Reputation
27,937
Next tag badge:
85/100 score
30/20 answers
Badges
3 24 82
Newest
 Enlightened
Impact
~305k people reached

8h
awarded  Enlightened
9h
awarded  Nice Answer
May
21
answered If the answer is “no” then “yes” and vice versa type of paradoxes. What are they?
May
18
comment Logic and Metamath book recommendation
If I'd been doing self-promotion if I'd have said "linked at the quite terrifically splendid Teach Yourself Logic page ..." :)
May
18
revised Logic and Metamath book recommendation
added 10 characters in body
May
18
revised Logic and Metamath book recommendation
added 24 characters in body
May
18
answered Logic and Metamath book recommendation
May
4
awarded  Great Answer
May
1
revised Distinction between equality, logical equivalence and biconditionality.
added 4 characters in body
Apr
30
revised What are numbers?
added 47 characters in body
Apr
30
answered What are numbers?
Apr
30
awarded  Nice Answer
Apr
29
revised Why don't we define “imaginary” numbers for every “impossibility”?
added 92 characters in body
Apr
20
revised Reconstructing the conditional's truth table from natural deduction
added 46 characters in body
Apr
20
answered Reconstructing the conditional's truth table from natural deduction
Apr
6
revised categorical interpretation of quantification
edited body
Apr
5
comment Let $\tau$ be a closed tableau. Prove that $\tau$ is not satisfiable.
It isn't good form here, when someone has taken the trouble to answer a question, to change it to something so different that the answer no long applies. Your revised question suggests you haven't worked through the suggested reading of the answer to your original question that you will find if many textbooks.
Apr
5
answered Let $\tau$ be a closed tableau. Prove that $\tau$ is not satisfiable.
Apr
2
comment Is there a way of making the notion of “stronger theorem” precise?
@RobArthan I didn't give an analysis -- I was just trying to get out of the way that claim that all theorems in a formal system imply each other, which was supposed to show that that talk about one theorem being stronger than another doesn't even make sense.
Apr
2
revised Is there a way of making the notion of “stronger theorem” precise?
added 35 characters in body