MATH
Login Or Sign up

List Question

15
102
Views

What is the "validity logic(s)" of moderate theories?

Published on
#logic #model-theory #proof-theory #modal-logic #reverse-math
1.8k
Views

What is true about a proof system that is complete but not sound?

Published on
#logic #first-order-logic #proof-theory
110
Views

Optimal bound for cost of cut elimination in infinitary logic with transfinite cut-rank in terms of Veblen's $\varphi$ function

Published on
#logic #computational-complexity #proof-theory #ordinal-analysis
238
Views

Prove $PA\vdash Con_Q$

Published on
#logic #proof-theory
105
Views

Liar sentences and the fixed point theorem

Published on
#logic #proof-theory
93
Views

If propositions $P$ and $Q$ are equivalent and $P \implies R$ without using $Q$ is possible, then $Q \implies R$ without using $P$ is possible?

Published on
#logic #proof-theory
79
Views

Using an inference in an inference

Published on
#logic #proof-writing #propositional-calculus #proof-theory
261
Views

Where did (the language in) this proof of Godel's incompleteness appear?

Published on
#logic #reference-request #model-theory #computability #proof-theory
121
Views

How to prove the following property of implication?

Published on
#discrete-mathematics #logic #propositional-calculus #proof-theory #provability
165
Views

Why use sequents?

Published on
#logic #proof-theory #motivation #sequent-calculus
149
Views

How many "$Q$-like" sentences are there?

Published on
#logic #model-theory #computability #lattice-orders #proof-theory
227
Views

What does it mean for two theories to be inter-interpretable?

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

If PA is consistent, for any $n$, does PA prove "$n$ does not code a proof of an inconsistency"?

Published on
#proof-theory #incompleteness
255
Views

Understanding how to prove either/or type statements in logic

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

Is Halting problem an example of a problem which is true but unprovable?

Published on
#model-theory #computability #proof-theory #incompleteness #decidability

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.