Raymond Smullyan

Raymond Smullyan
Raymond Smullyan
Nascimento Raymond Merrill Smullyan
25 de maio de 1919
Far Rockaway
Morte 6 de fevereiro de 2017 (97 anos)
Hudson
Sepultamento Evergreen Cemetery
Cidadania Estados Unidos
Alma mater
Ocupação matemático, pianista, filósofo, professor universitário, cientista de computação, mágico, problemista
Empregador(a) Universidade de Princeton, Universidade da Cidade de Nova Iorque, Universidade de Indiana, Universidade Yeshiva, Chicago Musical College, Faculdade de Dartmouth
Orientador(a)(es/s) Alonzo Church[1]
Obras destacadas What is the name of this book?, The Chess Mysteries of Sherlock Holmes / Raymond M. Smullyan. - (1979), To Mock a Mockingbird
Instrumento piano
Página oficial
https://raymondsmullyan.com/
[edite no Wikidata]

Raymond Merrill Smullyan (Far Rockaway, 25 de maio de 1919 – 6 de fevereiro de 2017[2]) foi um matemático estadunidense, pianista, lógico, filósofo taoísta e mágico.

Vida

Nascido em Far Rockaway, Nova Iorque, ele mostrou talento musical, ganhando a medalha de ouro em uma competição de piano, quando ele tinha 12 anos.[3] Aos 13 anos se mudou com sua família para Manhattan, para seus cursos especiais de música e outras áreas de interesses de Ray. Embora ele tivesse excelente formação musical, o instituto Theodore Roosevelt, não lhe oferecia suficiente matéria em outra área de que ele gostava, as matemáticas. Enquanto era um estudante de doutorado, Smullyan publicou um artigo no Journal of Symbolic Logic em 1957.

Referências

  1. Raymond Smullyan (em inglês) no Mathematics Genealogy Project
  2. Hannah Osborne (10 de fevereiro de 2017). «Mathematician and puzzle-maker Raymond Smullyan dead at 97» (em inglês). International Business Times UK. Consultado em 10 de fevereiro de 2017 
  3. J J O'Connor e E F Robertson (Abril de 2002). «Smullyan biography». School of Mathematical and Computational Sciences, University of St Andrews. Consultado em 5 de outubro de 2010 

Bibliografia

Charadas Lógicas

  • (1978) What Is the Name of This Book?
  • (1979) The Chess Mysteries of Sherlock Holmes
  • (1981) The Chess Mysteries of the Arabian Knights
  • (1982) The Lady or the Tiger? - publicado em português como A Dama ou o Tigre?
  • (1982) Alice in Puzzle-Land - publicado em português como Alice no País dos Enigmas
  • (1985) To Mock a Mockingbird
  • (1987) Forever Undecided
  • (1992) Satan, Cantor and Infinity
  • (1997) The Riddle of Scheherazade - publicado em português como O Enigma de Sherazade
  • (2007) The Magic Garden of George B. And Other Logic Puzzles
  • (2009) Logical Labyrinths

Filosofia/Memórias

  • (1977) The Tao is Silent
  • (1980) This Book Needs No Title
  • (1983) 5000 B.C.
  • (2002) Some Interesting Memories: A Paradoxical Life
  • (2003) Who Knows?: A Study of Religious Consciousness
  • (2009) Rambles Through My Library

Acadêmicos

  • (1961) Theory of Formal Systems
  • (1968) First-Order Logic
  • (1992) Gödel's Incompleteness Theorems
  • (1993) Recursion Theory for Metamathematics
  • (1994) Diagonalization and Self-Reference
  • (1996) Set Theory and the Continuum Problem
  • v
  • d
  • e
Visão global
Áreas
acadêmicas
Conceitos
fundamentais
Teorias da dedução
Geral
Lógica aristotélica
Cálculo proposicional
e Lógica booliana
Predicativa
Teoria dos conjuntos
Teoria dos modelos
Teoria da prova
Teoria da computabilidade
Lógica modal
Intuicionismo
Lógica difusa
Lógica subestrutural
Lógica paraconsistente
Lógica de descrição
Lógicos
Listas
Tópicos
  • Esboço de lógica
  • Índice de artigos sobre lógica
  • Lógica matemática
  • Álgebra booliana
  • Teoria dos conjuntos
Outros
  • Página de categoria Categoria
  • Portal Portal
Ícone de esboço Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.
  • v
  • d
  • e
Controle de autoridade