MATH
Login Or Sign up

List Question

15
72
Views

Kolmogorov complexity measure of a formal system

Published on
#formal-systems #kolmogorov-complexity #algorithmic-randomness
103
Views

What is the easiest way to show that a type theory is consistent?

Published on
#model-theory #type-theory #formal-systems
65
Views

Find Theorems of a Formal Theory

Published on
#logic #formal-languages #formal-systems
986
Views

book recommendation - formal systems

Published on
#logic #book-recommendation #formal-systems
97
Views

Can ZFC be proven from weak systems using consistency of those systems?

Published on
#logic #philosophy #meta-math #formal-systems
151
Views

Do Tarski's axioms apply to higher dimensions?

Published on
#euclidean-geometry #foundations #meta-math #formal-systems #axiomatic-geometry
244
Views

Gödel on the “True Reason” for Incompleteness

Published on
#logic #math-history #incompleteness #type-theory #formal-systems
90
Views

Reducing any formal system to intuitionistic or classical logic

Published on
#logic #intuitionistic-logic #formal-systems
29
Views

$(\lambda z. zy)(\lambda z. zy)$ - reducing using $\beta$ reduction and $\alpha$ conversion

Published on
#discrete-mathematics #computer-science #computability #lambda-calculus #formal-systems
193
Views

Is there a proposition that cannot be proven to be provable(or not)?

Published on
#logic #formal-systems #provability
88
Views

Is there a consistent theory with self-similar set of theorems/axioms?

Published on
#set-theory #axioms #formal-systems
222
Views

((())()) is a theorem of PR?

Published on
#logic #formal-languages #formal-systems
56
Views

Axiomatic system that differentiates between straight lines and curved lines

Published on
#formal-systems #axiomatic-geometry
65
Views

Connection of axioms of first order logic and axioms of first order theory

Published on
#first-order-logic #model-theory #axioms #formal-systems
98
Views

Can Bayesian analysis address challenges posed by Gödel's incompleteness theorems?

Published on
#probability #probability-theory #discrete-mathematics #logic #formal-systems

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.