Axiomas de Peano e expressões simbólicas
As expressões simbólicas em LISP (pelo menos o LISP inicial de John McCarthy) formam um sistema em tudo análogo aos números naturais e igualmente poderoso. Cada um deles pode ser usado para codificar sequências arbitrárias de símbolos, no entanto, e por razões óbvias, as expressões simbólicas são de leitura bastante mais fácil.
Vejamos então a semelhança entre os axiomas de Peano para os números naturais e os postulados das expressões simbólicas em LISP1.
Axiomas de Peano
- zero é um número
- o sucessor de um número é um número
- o zero não é sucessor de nenhum número
- dois números diferentes têm sucessores diferentes
- (Principio de indução finita) Uma propriedade que é verdade para zero, para um número e para o seu sucessor então também é verdade para todos os números.
Axiomas para expressões simbólicas
- átomos são expressões simbólicas
- o
cons
de duas expressões simbólicas é uma expressão simbólica - um átomo não é o
cons
de duas outras expressões simbólicas - se
a
é diferente deb
,c
é diferente ded
, então ocons
dea
ec
é diferente docons
deb
ed
. - (Principio de indução finita) Se uma propriedade é verdadeira para todos os
átomos, verdadeira para quaisquer duas expressões simbólicas e para o seu
cons
então também é verdade para todas as expressões simbólicas.
1. Guy Lewis Steele, Jr. and Gerald Jay Sussman. "The Art of the Interpreter or, the Modularity Complex (Parts Zero, One, and Two)". MIT AI Lab. AI Lab Memo AIM-453. May 1978.
Palavras chave/keywords: LISP, Peano, números, GodelCriado/Created: NaN
Última actualização/Last updated: 10-10-2022 [14:26]
(c) Tiago Charters de Azevedo