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)))
 nil
a não printabilidade da norma de P, i.e., (neg (P (function N))), é expressa por 
> (neg (P (N  (neg (P #'N)))))
nil
Palavras chave: Lisp, Goedel

Última actualização/Last updated: 2012-02-26 [15:49]

1999-2011 (c) Tiago Charters de Azevedo

São permitidas cópias textuais parciais/integrais em qualquer meio com/sem alterações desde que se mantenha este aviso.

Verbatim copying and redistribution of this entire page are permitted provided this notice is preserved.