Kurt Ammon (ammon-k)

Contributions to Philosophie.ch

Bibliography

Ammon, Kurt. 1993. “An Automatic Proof of Gödel’s Incompleteness Theorem.” Artificial Intelligence 61(2): 291–306.
Ammon, Kurt. 1997. “An Automatic Proof of Gödel’s Incompleteness Theorem [letter to the editor].” Artificial Intelligence 95(1): 203–207.