MATH
Login Or Sign up

List Question

15
89
Views

Does the existence of an indirect proof imply the existence of a direct proof?

Published on
#proof-writing #philosophy
143
Views

Histories in Scott-Potter set theory

Published on
#set-theory #foundations #philosophy
136
Views

What doe the term 'object' in the definition of a set mean?

Published on
#set-theory #philosophy
123
Views

Ultra-finite math

Published on
#reference-request #computational-complexity #philosophy #provability
350
Views

How do models determine truth values if the external theory is incomplete?

Published on
#logic #set-theory #first-order-logic #model-theory #philosophy
230
Views

What's the connection between the homomorphism theorem in Enderton "A mathematical Intro to Logic" and Lyndon’s Positivity Theorem?

Published on
#logic #first-order-logic #model-theory #philosophy
70
Views

Truth & Falsehood of symbol sequences

Published on
#logic #philosophy
178
Views

Interpretations of sets and set membership

Published on
#elementary-set-theory #logic #soft-question #first-order-logic #philosophy
105
Views

Some questions regarding Turing's doctoral thesis

Published on
#computability #philosophy
157
Views

Why lines and planes as primitive notions?

Published on
#geometry #euclidean-geometry #axioms #philosophy #axiomatic-geometry
50
Views

Dual of a Consequence (nomenclature)

Published on
#logic #philosophy
274
Views

Mathematicians endorsing platonism -- examples?

Published on
#big-list #foundations #philosophy
91
Views

Why did we stop creating functions at exponents?

Published on
#recreational-mathematics #exponentiation #puzzle #philosophy #multiplicative-function
144
Views

Formalism and interpretation

Published on
#elementary-set-theory #logic #first-order-logic #philosophy
669
Views

Understanding the law of identity in logic

Published on
#logic #philosophy

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.