4

Questions
votes newest views recent
4
6
votes
7
answers
1k
views

Incidences of rigorous proofs used in legal proceedings

mar 16 at 3:17 Mahmud 280●1●3●13

1
4
votes
1
answer
320
views

Non-trivial consequences of Lob’s theorem

may 12 12 at 1:45 Andreas Blass 33.8k●4●59●111

4
1
vote
2
answers
875
views

An undergraduate’s guide to the foundational theorems of logic [closed]

dec 2 at 15:07 John R Ramsden 579●2●10

 
2
votes
1
answer
345
views

Does R resolve the paradox of entailment?

jan 7 12 at 23:08 Andrej Bauer 13.1k●29●72