Discover open access scientific publications

Search, annotate, share and cite publications

Publications by LAWRENCE C. PAULSON

A Machine-Assisted Proof of Gödel’s Incompleteness Theorems for the Theory of Hereditarily Finite Sets

Review of Symbolic Logic

English

Related publications

Gödel’s Incompleteness Theorems

English

Finite Sets and Gödel's Incompleteness Theorems

Dissertationes Mathematicae

English

Gödel’s Incompleteness Theorems and Artificial Life

Techné: Research in Philosophy and Technology

English

A Proof Theory for Machine Code

ACM Transactions on Programming Languages and Systems

English

Saving Proof From Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics

Trends in Logic

English

Pointwise Ergodic Theorems for Arithmetic Sets

Publications Mathématiques

English

Representatives for Finite Sets

Proceedings of the American Mathematical Society

Applied Mathematics

English

The Theorems of F. And M. Riesz for Circular Sets.

Mathematica Scandinavica

English

Finite Point Sets in Recognizing Location and Orientation of Machine Parts of Complex Shapes

Pattern Analysis and Applications

Computer Vision

Pattern Recognition

Artificial Intelligence

English