research
∙
10/10/2022
A Reunion of Godel, Tarski, Carnap, and Rosser
We unify Godel's First Incompleteness Theorem (1931), Tarski's Undefinab...
research
∙
08/20/2020
From Intuitionism to Many-Valued Logics through Kripke Models
Intuitionistic Propositional Logic is proved to be an infinitely many va...
research
∙
08/19/2020
Axiomatic (and Non-Axiomatic) Mathematics
Axiomatizing mathematical structures and theories is an objective of Mat...
research
∙
07/01/2019
On Rudimentarity, Primitive Recursivity and Representability
It is quite well-known from Kurt Gödel's (1931) ground-breaking result o...
research
∙
09/15/2017