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/keywords: Lisp, Goedel

Criado/Created: NaN

Última actualização/Last updated: 10-10-2022 [14:26]


Voltar à página inicial.


GNU/Emacs Creative Commons License

(c) Tiago Charters de Azevedo