Filters








2 Hits in 2.8 sec

An Old Discipline with a New Twist: The Course "Logic in Action"

Johan van Benthem
2017 IfColog journal of logics and their applications (FLAP)  
We hope that this volume will inspire teachers so that the way logic is taught to a wide range of students from undergraduate to postgraduate gets improved, and thereby make those audiences aware of the  ...  Schwarzentruber Acknowledgements The author wishes to thank Matt Gray, Kahlil Hodgson, Daniel Pekevski, Nathan Ryan and Wayne Tsai for help in scripting Logic for Fun, Nursulu Kuspanova for her invaluable work on  ...  María Manzano, Nitsa Movshovitz-Hadar, Diane Resek Leon Henkin: A logician's view on mathematics education 6.  ... 
dblp:journals/flap/Benthem17 fatcat:e5d54ekdhrbmjcs3ywmfzhaslm

Typogenetics : a logic of artificial propagating entities

Harold Campbell Morris
1989
Automata constitute one type of formal model. With a simple Turing Table the concept of a self-replicating string is illustrated.  ...  A Typogenetics string ("strand," in analogy to a DNA strand) codes for operations that act to transform that very strand into descendant strands.  ...  After Godel, the logician Leon Henkin used the same kind of framework to construct PM formulas interpretable as asserting their provability.  ... 
doi:10.14288/1.0106810 fatcat:2sdnvy7tqfegzlhiei3kiawx3a