MATH
Login Or Sign up

List Question

15
66
Views

Defining Church numerals in higher order logic.

Published on
#logic #first-order-logic #lambda-calculus #higher-order-logic
58
Views

Arithmetization of Turing machines

Published on
#first-order-logic #foundations #philosophy #turing-machines
42
Views

Is $\exists x [(P(x) \vee Q(x))\rightarrow R(x)]$ logically equivalent to $\exists x [(P(x) \rightarrow R(x)) \vee (Q(x)\rightarrow R(x))]$?

Published on
#first-order-logic #quantifiers
65
Views

Modern reference on PA degrees?

Published on
#logic #reference-request #first-order-logic #computability #peano-axioms
111
Views

is arithmetic finitely consistent?

Published on
#proof-explanation #first-order-logic #peano-axioms #incompleteness
140
Views

Infinite statements from finite axioms

Published on
#proof-explanation #first-order-logic #peano-axioms #incompleteness
92
Views

Which logic is most fundamental?

Published on
#elementary-set-theory #propositional-calculus #first-order-logic #foundations #modal-logic
217
Views

Does independence-friendly logic have a completeness theorem?

Published on
#logic #first-order-logic #model-theory
102
Views

Prove that is a tautology without using truth table

Published on
#logic #first-order-logic
78
Views

Question about Finite Model on Robinson Arithmetic

Published on
#logic #first-order-logic #model-theory
54
Views

NBG the intersection of a set and a class

Published on
#logic #set-theory #first-order-logic
149
Views

Do we really need the axiom of regularity?

Published on
#set-theory #first-order-logic
139
Views

How can mathematical logic try to model math, when mathematics are used to define mathematical logic?

Published on
#logic #first-order-logic
43
Views

What does $\forall x (Triangle(x) \iff \exists y (Square(y) \land AboveOf(x,y)))$ imply?

Published on
#logic #propositional-calculus #first-order-logic
28
Views

questions about proving ACF(Algebraically Closed Fields) has quantifier elimination

Published on
#field-theory #first-order-logic #quantifier-elimination

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.