MATH
Login Or Sign up

List Question

15
138
Views

Logic - Member of an inductive set that is not a member of the set of theorems in a formal system?

Published on
#elementary-set-theory #logic #induction #formal-systems
127
Views

On the notion of semantic completeness

Published on
#logic #model-theory #formal-systems
48
Views

Is there correspondence between vector spaces and independent theories?

Published on
#vector-spaces #axioms #formal-systems
1.2k
Views

What are the limits of the modern (starting with Emil Leon Post and David Hilbert) formalization of mathematics?

Published on
#logic #soft-question #formal-systems
365
Views

Formal proof of $\exists x (\exists y P(y) \rightarrow P(x))$ and $(\forall x \exists y R(x,y))\rightarrow (\forall y \exists x R(y,x))$

Published on
#first-order-logic #predicate-logic #proof-theory #formal-proofs #formal-systems
134
Views

Infimum and Supremum (of sets) - Formal Concept Analysis

Published on
#computer-science #formal-languages #formal-systems #translation-request #galois-connections
91
Views

Adding constants to formal system

Published on
#logic #formal-systems
851
Views

What is the purpose of Semantics/Model theory in Mathematical Foundations?

Published on
#logic #model-theory #proof-theory #incompleteness #formal-systems
142
Views

Reducing number of sorts in formal theory

Published on
#logic #formal-systems
305
Views

Codification of a formal language in set theory.

Published on
#logic #set-theory #formal-languages #formal-systems #formal-grammar
44
Views

Intro to Metamathematics Kleene $\S54$ Lemma IId

Published on
#recursive-algorithms #meta-math #formal-systems
48
Views

What happens when we introduce a third 'paradox' possibility to the Halting Machine?

Published on
#turing-machines #formal-systems
259
Views

Is this a proper rendering for "$b$ is a power of 2" using TNT from Gödel, Escher, Bach

Published on
#elementary-number-theory #logic #formal-systems
75
Views

Is $I\Delta_0+\Omega_1$ globally interpretable in Q?

Published on
#model-theory #formal-systems
248
Views

Why is it impossible nowadays for a computer to derive all the possible theorems that flow from a particular formal system?

Published on
#logic #computer-science #formal-systems

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.