MATH
Login Or Sign up

List Question

15
136
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
123
Views

On the notion of semantic completeness

Published on
#logic #model-theory #formal-systems
43
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
362
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
129
Views

Infimum and Supremum (of sets) - Formal Concept Analysis

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

Adding constants to formal system

Published on
#logic #formal-systems
848
Views

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

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

Reducing number of sorts in formal theory

Published on
#logic #formal-systems
302
Views

Codification of a formal language in set theory.

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

Intro to Metamathematics Kleene $\S54$ Lemma IId

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

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

Published on
#turing-machines #formal-systems
256
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
72
Views

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

Published on
#model-theory #formal-systems
245
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

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.