|
Leituras e sites interessantes:
▪ The Universal Computer:
The Road from Leibniz to Turing, by Martin Davis, Norton, 2000:
Interessante narrativa sobre a história da computação.
▪
Philip Wadler, Proofs
are Programs: 19th Century Logic and 21st Century Computing. Versão
estendida do artigo New Languages, Old Logic, publicado na revista Dr Dobbs
Journal, suplemento especial Software in the 21st century, December
2000. Interessante visão
geral sobre o desenvolvimento da Lógica desde o final do século 19 e a
influência desses resultados no desenvolvimento de computadores e linguagens
de programação.
▪
Mathematics: The New
Golden Age, by Keith Devlin. Penguin Books, 1988. Uma seleção de resultados interessantes
da matemática do século 19, incluindo problemas relativos a enumerabilidade
e computabilidade.
▪ The
Emperor's New Mind: Concerning Computers, Minds and the Laws of Phisics,
by Roger Penrose, Penguin Books.1989.
▪
Forever Undecided: A Puzzle Guide to
Gödel, by Raymond Smullyan. Oxford
University Press (1987). ISBN 0-19-282196-2. O Teorema da Incompletude de
Gödel é um dos resultados notáveis da ciência do sécuilo 20, tendo profunda
importância para a filosofia, matemática e computação. Smullyan desenvolve
uma explicação sobre os principais teoremas de Gödel por meio de uma série
de jogos.
▪
What is the Name of this Book? by
Raymond Smullyan. Penguin
(1990). ISBN 0140135111. Mais problemas interessantes de lógica.
Sites:
▪
Interactive Mathematics Miscellany and
Puzzles, Games and Puzzles -
http://www.cut-the-knot.com/games.html
▪ The rec.puzzle archive: http://einstein.et.tudelft.nl/~arlet/puzzles/ - coleções de jogos matemáticos
interessantes.
|
