“You may think God's solution to sin is axiomatic, but if you practice sin you only force others around you into wanting more evidence because your evidence is just words and not evidence of a changed life” SolutionsEvidenceEvidence Based Decision MakingAxiomatics Author:John M Sheehan
“If you understand McCarthy's eval, you understand more than just a stage in the history of languages. These ideas are still the semantic core of Lisp today. So studying McCarthy's original paper shows us, in a sense, what Lisp really is. It's not something that McCarthy designed so much as something he discovered. It's not intrinsically a language for AI or for rapid prototyping, or any other task at that level. It's what you get (or one thing you get) when you try to axiomatize computation.” LanguageProgrammingArtificial IntelligenceSemanticsComputationLispPrototypingAxiomaticsEvalJohn Mccarthy Author:Paul Graham