Tiago Charters work gallery about contact

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

---

For attribution, please cite this page as:

Charters, T., "Ainda, e outra vez, a verdade": https://nexp.pt/pn.html (23-01-2025 [00:04])

---

(cc-by-sa) Tiago Charters - tiagocharters@nexp.pt