4 ideas
6294 | In the beginning was the Word, and the Word was with God, and the word was God [John] |
8821 | Jesus said he bore witness to the truth. Pilate asked, What is truth? [John] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
9545 | Late in life Frege abandoned logicism, and saw the source of arithmetic as geometrical [Frege, by Chihara] |