0000000001225906

AUTHOR

José Pedro ÚBeda Rives

showing 1 related works from this author

Leon Henkin the Reviewer

2014

In this chapter, we intend to look at Henkin’s reviews, a total of forty-six. The books and papers reviewed deal with a large variety of subjects that range from the algebraic treatment of logical systems to issues concerning the philosophy of mathematics and, not surprisingly—given his active work in mathematical education—one on the teaching of this subject. Most of them were published in The Journal of Symbolic Logic and only one in the Bulletin of the American Mathematical Society. We will start by sorting these works into subjects and continue by providing a brief summary of each of them in order to point out those aspects that are originally from Henkin, and what we take to be mistake…

Mathematical logicPhilosophy of mathematicsConsistency (negotiation)PhilosophyGödelFoundations of mathematicscomputerAlgebraic logicAxiomcomputer.programming_languageEpistemologyMetalogic
researchProduct