4

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

Incidences of rigorous proofs used in legal proceedings

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

4
1
vote
2
answers
868
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
341
views

Does R resolve the paradox of entailment?

jan 7 12 at 23:08 Andrej Bauer 12.5k●26●68

1
4
votes
1
answer
285
views

Non-trivial consequences of Lob’s theorem

may 12 12 at 1:45 Andreas Blass 32.9k●4●54●109