Paolo Mancosu's and my paper on Heinrich Behmann's 1921 lecture on the decision problem is out in the new issue of the Bulletin of Symbolic Logic. (Hey you are a member of the Association for Symbolic Logic, right? Comes with subscriptions to the Bulletin, the Review, and the Journal of Symbolic Logic!) This is the … Continue reading Behmann’s 1921 Lecture on the Decision Problem
First I just thought, "How weird! Applying many-valued logic to slime moulds." But then I read it and not only is this a bona-fide application of p-adic logic to the behavior of slime moulds, no, the slime moulds are used as computers in this application! And my own work is used! So, yay to p-adic … Continue reading Many-Valued Logics and Slime Moulds
Paolo Mancosu and Richard Zach. "Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic," Bulletin of Symbolic Logic 21 (2015), 164–187 Heinrich Behmann (1891–1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved—independently of Löwenheim and Skolem’s earlier … Continue reading Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic