Ainda, e outra vez, a verdade
Notas sobre o Teorema de Godel (exposição informal) agora em Common Lisp
Depois de ter escrito 'A verdade, nada mais do que a verdade' fiquei sempre com a ideia de escrever a dita máquina como um conjunto de procedimentos em Lisp. Assim, aqui estão eles. O operador print
(defun P (s) s)a negação
(defun neg (s) )e a norma
(defun N (s) (list s s))Vejamos alguns exemplos para ver como funcionam. O procedimento
P
retorna o
seu input
> (P '(a b c d)) (a b c d)e
> (N '(a b c d)) ((a b c d) (a b c d))o procedimento
neg
retorna sempre nil
, a impossibilidade de se fazer qualquer
coisa.
Como
> (neg (P (function N))) nila não printabilidade da norma de
P
, i.e., (neg (P (function N))),
é expressa por
> (neg (P (N (neg (P #'N))))) nilPalavras chave/keywords: Lisp, Goedel
Criado/Created: NaN
Última actualização/Last updated: 10-10-2022 [14:26]
(c) Tiago Charters de Azevedo