A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
An Old Discipline with a New Twist: The Course "Logic in Action"
2017
IfColog journal of logics and their applications (FLAP)
Preserved Fulltext
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
1989
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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