Category:Definitions/Named Definitions/Quine

From ProofWiki
Jump to navigation Jump to search

This category contains definitions named for Willard Van Orman Quine.

Legendary American philosopher and logician, known by his friends as Van.

Proposed three systems of axiomatic set theory.

The word quine was coined by Douglas R. Hofstadter in his classic 1979 work Gödel, Escher, Bach: an Eternal Golden Braid, in which what is now known as Quine's Paradox was discussed at length.

The word quine is now used for a computer program whose output is itself.

Pages in category "Definitions/Named Definitions/Quine"

This category contains only the following page.