MATH
Login Or Sign up

List Question

15
90
Views

Unprovable identity over the integers

Published on
#logic #arithmetic #exponentiation #integers #proof-theory
210
Views

The problem about the Gödel proposition V in 1931 paper?

Published on
#proof-theory
49
Views

What to call a term-in-context whose context contains exactly the variables occurring in the term?

Published on
#terminology #proof-theory #type-theory
820
Views

In which order should I learn the foundations of mathematics?

Published on
#logic #set-theory #model-theory #foundations #proof-theory
340
Views

Weak Representability and Derivability Condition 1

Published on
#logic #proof-theory #meta-math #provability
321
Views

What is the relationship between Realizability and the Curry-Howard isomorphism?

Published on
#logic #computer-science #proof-theory #type-theory
193
Views

Are there other methods of proof other than contrapositive, induction, contradiction, construction, and counter example?

Published on
#logic #proof-writing #foundations #proof-theory
741
Views

Is it possible that Gödel's completeness theorem could fail constructively?

Published on
#logic #model-theory #proof-theory #constructive-mathematics
865
Views

Examples of provably${}^n$ unprovable statements

Published on
#logic #set-theory #examples-counterexamples #proof-theory
547
Views

Does PA prove that Con(PA) implies Con(ZF-I) and Con(NFU)?

Published on
#logic #reference-request #set-theory #foundations #proof-theory
685
Views

Why don't the quantifiers split in linear logic?

Published on
#logic #proof-theory #linear-logic
219
Views

On "why" questions in mathematics

Published on
#logic #philosophy #proof-theory
115
Views

How to prove facts regarding sentential logic

Published on
#logic #proof-explanation #proof-theory
143
Views

Gödel number for contradicting modus ponens?

Published on
#logic #proof-theory
742
Views

Logical limitations of Proofs by Contradiction

Published on
#logic #propositional-calculus #boolean-algebra #first-order-logic #proof-theory

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.