MATH
Login Or Sign up

List Question

15
94
Views

If Algorithms Count as Formal Proofs

Published on
#proof-writing #algorithms #proof-theory
8.8k
Views

Why does proof by elimination work?

Published on
#logic #proof-theory
530
Views

How can we be so sure that we don't live in Pudlak's inconsistent world?

Published on
#logic #model-theory #proof-theory #peano-axioms
187
Views

Can two different models of arithmetic have non-comparable views of peano arithmetic?

Published on
#logic #model-theory #proof-theory #peano-axioms #meta-math
344
Views

For every formula of linear logic, is there an equivalent formula in intuitionistic linear logic?

Published on
#logic #proof-theory #sequent-calculus #linear-logic
38
Views

Uniqueness of realizers

Published on
#logic #proof-theory
219
Views

Can second order peano arithmetic prove that first order peano arithmetic is sound?

Published on
#logic #proof-theory #peano-axioms #meta-math #second-order-logic
705
Views

How to show local soundness and completeness for NAND

Published on
#logic #proof-theory #natural-deduction
322
Views

How to prove statements in formal set theory? Substitution, the empty set and an example.

Published on
#elementary-set-theory #first-order-logic #proof-theory
570
Views

Provably unprovable statement?

Published on
#logic #proof-theory
283
Views

A axiomatization of (full) Second Order Logic with a decidable proof system cannot be complete; is this true if we only require semi-decidability?

Published on
#logic #model-theory #proof-theory #decidability #second-order-logic
1.1k
Views

Explaining the resolution rule.

Published on
#discrete-mathematics #logic #propositional-calculus #proof-theory
3.5k
Views

What is a heuristic proof?

Published on
#proof-writing #proof-explanation #proof-theory
128
Views

Maximal (or prime) theories and their sets

Published on
#logic #propositional-calculus #proof-theory #modal-logic #intuitionistic-logic
83
Views

Given a new proof system N show that...

Published on
#logic #propositional-calculus #proof-theory

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.