פרטי המוכר

most challenging collection of puzzles that is at the same time an introduction - ingenious, instructive, entertaining - to Godel's famous theorems. By following the Reasoners through brain-tingling exercises and adventures - including journeys into the "other possible worlds" of Kripke semantics - even the most illogical of us come to understand Godel's two great theorems on incompletelness and undecidability, some of their philosophical and mathematical implications, and why we, like Godel himself, must remain Forever Undecided!. 51266269 שם המוכר זאב