The following pages link to Kolmogorov and mathematical logic (Q4032626):
Displaying 10 items.
- From reaction-diffusion to physarum computing (Q734218) (← links)
- Programmable reconfiguration of Physarum machines (Q968402) (← links)
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper (Q2070432) (← links)
- Essential structure of proofs as a measure of complexity (Q2183713) (← links)
- Explicit Provability and Constructive Semantics (Q2732527) (← links)
- Towards Slime Mould Based Computer (Q4598044) (← links)
- Semantics-to-Syntax Analyses of Algorithms (Q4637221) (← links)
- The Developments of the Concept of Machine Computability from 1936 to the 1960s (Q5250213) (← links)
- PHYSARUM SPATIAL LOGIC (Q5388703) (← links)
- Kolmogorov complexity and non-determinism (Q5958289) (← links)
