vy · @vy
96 followers · 1221 posts · Server sciencemastodon.comACM Communications 4/23 paper by Bentkamp et al
"Today, even if most mathematicians do not consciously use logic on a daily basis, they can feel reassured to know that their definitions and arguments can be encoded in it" p82
Nope. Nope. And Nope.
#formalLogic
#MetaMathematics
#ComputerScience
#formallogic #metamathematics #computerscience
mc ☕ · @mc
83 followers · 842 posts · Server qoto.organ introductory #logic #textbook by P.D. Magnus
https://www.fecundity.com/logic/download.html
#formallogic #logic #mathematics #book #textbook