MATH
Login Or Sign up

List Question

15
345
Views

Is such a proof enough for proving the system is consistent?

Published on
#logic #proof-theory
241
Views

Inductive first-order formula construction

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

Showing a theory has $\aleph_0$ structures

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

Logical Validity of predicate logic argument

Published on
#discrete-mathematics #logic #first-order-logic #predicate-logic
62
Views

Constructing First Order Logic sentence to describe a difference between $\mathbb{Z}$ and $\mathbb{C}$

Published on
#abstract-algebra #logic #first-order-logic
305
Views

Unexpected hanging of Mr. Fitch

Published on
#logic #propositional-calculus #paradoxes
678
Views

Help understanding why truth table is the way it is (Very basic)

Published on
#logic
419
Views

Proofs and Metalanguage

Published on
#logic #formal-languages
265
Views

using points to create lines

Published on
#combinatorics #geometry #logic
745
Views

Lambda Calculus – Defining (and checking) Predecessor combinator for Church numerals

Published on
#proof-verification #logic #lambda-calculus
35
Views

Is the function $F=\chi_{>m}$ primitive recursive for some undetermined m?

Published on
#logic #recursive-algorithms
720
Views

Skolem's paradox showing us that we might be trapped in our view of the world

Published on
#logic #soft-question #set-theory #philosophy #paradoxes
299
Views

The Deep Structure of the Real line

Published on
#logic #set-theory #intuition #axioms #forcing
163
Views

What is the contrapositive of this simple proposition?

Published on
#logic #propositional-calculus
60
Views

Is it true that for a structure $\mathcal A$ we have $\mbox{Th}(\mathcal A)$ is r.e. iff it is recursive

Published on
#proof-verification #logic #first-order-logic #proof-theory

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.