Journal of Applied Logic Special issue on Combining Probability and Logic to Solve Philosophical Problems

 This interesting special issue includes Dana S. Scott's Stochastic λ-calculi: An extended abstract

It is shown how the operators in the “graph model” for λ-calculus (which can function as a programming language for Recursive Function Theory) can be expanded to allow for “random combinators”. The result then is a model for a new language for random algorithms.

 See On Tarski's Semantic Definition of Truth "Convention T"



Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023