MATH
Login Or Sign up

List Question

15
312
Views

Candidates on proved false arithmetic statements

Published on
#logic #foundations #proof-theory
1.1k
Views

Axiomatic system vs Formal System

Published on
#logic #model-theory #proof-theory
832
Views

It is possible to prove that there are infinitely many points in space in Hilber'ts axiomatization of geometry?

Published on
#geometry #proof-theory #axiomatic-geometry
770
Views

Natural deduction: swapping equivalent formulas or definitions

Published on
#logic #propositional-calculus #proof-theory #natural-deduction
925
Views

Is this proof correct? (natural deduction)

Published on
#logic #propositional-calculus #proof-theory #natural-deduction #formal-proofs
361
Views

Non- computational proof for Four Colour Theorem

Published on
#proof-verification #graph-theory #fake-proofs #coloring #proof-theory
566
Views

Inference Proof for Biconditional

Published on
#logic #propositional-calculus #proof-theory #natural-deduction #formal-proofs
151
Views

Can we prove consistency of Euclidean geometry in Peano arithmetic?

Published on
#logic #euclidean-geometry #proof-theory
59
Views

Consistency tower of ordinals and base theories up to PA?

Published on
#logic #proof-theory
583
Views

Fitch Natural Deduction proof problem

Published on
#logic #propositional-calculus #proof-theory #natural-deduction #formal-proofs
264
Views

Is cut rule an instance of left implication?

Published on
#logic #proof-theory #sequent-calculus
128
Views

Can some statement be proved by showing that it leads to a true statement?

Published on
#logic #proof-theory
604
Views

A confusion about Church's simple theory of types and the Curry-Howard isomorphism

Published on
#logic #computer-science #proof-theory #lambda-calculus #intuitionistic-logic
361
Views

Lukasiewicz logic, deduction theorem and complete calculi

Published on
#logic #proof-theory #nonclassical-logic
300
Views

Precise definition of relative consistency in Kunen's "Set Theory"

Published on
#logic #set-theory #proof-theory #finitism

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.