Proof-Stories With Janet


Subscribe to Architect of Ideas.

I made this this morning:

See Curt Jaimungal Interviews Gabriele Carcassi. Then I went for a walk, ...

Here's my windy video about Proofs and Truths

See Curt Jaimungal Interviews Gabriele Carcassi. Larry Paulson's CADE-12 paper is A fixedpoint approach to implementing (Co)inductive definitions (1994).

See Tom Ridge's paper Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle

Tom did a talk at OCAML-2014

Subscribe to Malcolm Wallace.

See also Architect of Ideas - Some Thoughts About Calculus and Infinity.

On Lawvere's Fixpoint Theorem: see A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points by Noson S. Yanofsky https://arxiv.org/pdf/math/0305282, the original paper Diagonal Arguments and Cartesian Closed Categories by F.W. Lawvere and this video:

See also Cantor's Theorem for posets on nLab.

Subscribe to  Nikolaj-K.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023