MATH
Login Or Sign up

List Question

15
63
Views

Models of H and GL

Published on
#logic #modal-logic #provability
1.8k
Views

What's the difference between "unprovable" and "undecidable"?

Published on
#logic #philosophy #provability
1.2k
Views

A sentence asserting about itself that if it is provable, then it is true

Published on
#logic #provability
1.2k
Views

Is every property of the integers provable?

Published on
#integers #provability
117
Views

Proving $\square(\forall v_1\neg\psi(v_1))\rightarrow\forall v_1\neg\psi(v_1)$ for a particular $\psi$.

Published on
#logic #predicate-logic #first-order-logic #provability
665
Views

Hilbert–Bernays provability conditions

Published on
#logic #set-theory #predicate-logic #provability
114
Views

Is this a valid logical paradox?

Published on
#elementary-set-theory #logic #provability
66
Views

provability of a mathematical statement

Published on
#provability
1.9k
Views

Difference between 'true' and 'provable'

Published on
#logic #provability
175
Views

Troubling questions about probability

Published on
#probability #probability-theory #advice #philosophy #provability
360
Views

A few questions about a true but unprovable statement

Published on
#logic #foundations #provability
1.2k
Views

On provability of Paris–Harrington theorem

Published on
#logic #provability
103
Views

ZFC,unprovability of existence of a countable model,Skolem construction and paradox

Published on
#model-theory #paradoxes #provability
125
Views

Do mathematicians ever prove that something can or can't be proved?

Published on
#provability
87
Views

Can't prove $2^n > n$ with Mathematical Induction

Published on
#discrete-mathematics #induction #provability

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.