Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Formal Systems in Polycontextural Constellations (3)
- Contextural Programming Paradigm (2)
- Ars; lambda calculus; polycontexturality; programming; complexity (1)
- Conception of truth (1)
- Fibonacci; GHC; HASKELL; SATIN; ConTeXtures; polycontexturality; interactionality; reflectionality; proemiality; polycontextural; Thomas Mahler; Rudolf Kaehr (1)
- Publication
- Publication Type
Articles 1 - 6 of 6
Full-Text Articles in Other Mathematics
Some Sober Conceptions Of Mathematical Truth, Marco Panza
Some Sober Conceptions Of Mathematical Truth, Marco Panza
MPP Published Research
It is not sufficient to supply an instance of Tarski’s schema, ⌈“p” is true if and only if p⌉ for a certain statement in order to get a definition of truth for this statement and thus fix a truth-condition for it. A definition of the truth of a statement x of a language L is a bi-conditional whose two members are two statements of a meta-language L’. Tarski’s schema simply suggests that a definition of truth for a certain segment x of a language L consists in a statement of the form: ⌈v(x) is true if and only if τ(x)⌉, …
Fibonacci In Contextures, An Application, Rudolf Kaehr
Fibonacci In Contextures, An Application, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.
Contextures. Programming Dynamic Complexity, Rudolf Kaehr
Contextures. Programming Dynamic Complexity, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.
Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr
Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr
Rudolf Kaehr
Gödel's Proofs in the context of beautifying (Hehner) and re-beautifying in polycontextural logic. Deconstruction of the relevance.
Lambda Calculi In Polycontextural Situations, Rudolf Kaehr
Lambda Calculi In Polycontextural Situations, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.
Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr
Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.