Tag Archives: Programming Languages

Ask Meno Questions • Code Meno Code

Adapted from Prospects for Inquiry Driven Systems 1.1.2.3. The Trees, The Forest A sticking point of the whole discussion has just been reached. In the idyllic setting of a knowledge field the question of systematic inquiry takes on the following … Continue reading

Posted in Algorithms, Artificial Intelligence, Automata, Education, Epistemology, Formal Language Theory, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning, Meno, Philosophy, Plato, Programming, Programming Languages, Socrates, Teaching | Tagged , , , , , , , , , , , , , , , , , | 2 Comments

Propositions As Types : 1

Re: R.J. Lipton • Mathematical Tricks One of my favorite mathematical tricks — it seems almost too tricky to be true — is the Propositions As Types Analogy.  And I see hints the 2-part analogy can be extended to a 3-part … Continue reading

Posted in Abstraction, C.S. Peirce, Combinator Calculus, Combinatory Logic, Computation, Computational Complexity, Computer Science, Curry–Howard Isomorphism, Formal Language Theory, Graph Theory, Lambda Calculus, Logic, Logical Graphs, Mathematics, Peirce, Programming Languages, Propositions As Types Analogy, Type Theory | Tagged , , , , , , , , , , , , , , , , , | Leave a comment