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
Post a Comment