Pinned Loading

1. Nan.System.Sources-Prolog Nan.System.Sources-Prolog Public

   Answer Sources in Prolog

   Prolog

2. STUDY.Physics.SpecialRelativity STUDY.Physics.SpecialRelativity Public

   Physics Case Studies: Special Relativity

   JavaScript 1

3. Epimenides Paradox (in Coq) Epimenides Paradox (in Coq)

   1

   (** Epimenides' Paradox (v1.3-draft)

   2

   3

     << 'Morning everybody,

   4

        "Epimenides lies iff everybody lies!" which

   5

        I am taking to be *the predicative version of*

4. Grelling–Nelson Paradox (in Coq) Grelling–Nelson Paradox (in Coq)

   1

   (** Grelling-Nelson Paradox.

   2

   3

     Module [GnpLogic] is the basic logical analysis,

   4

     with the conclusion "phi is incomplete": where,

   5

     together with a notion of *functional extensionality*