MATH
Login Or Sign up

List Question

15
134
Views

Variable theory

Published on
#philosophy #foundations
144
Views

Defining the number $ e $

Published on
#real-analysis #foundations
708
Views

New Axioms of Infinity

Published on
#logic #set-theory #infinity #philosophy #foundations
521
Views

Goedel's completeness theorem in and/or for intuitionistic first order logic

Published on
#model-theory #foundations #constructive-mathematics
920
Views

Can all math results be formalized and checked by a computer?

Published on
#logic #predicate-logic #first-order-logic #foundations #proof-theory
15.3k
Views

Why can't you add apples and oranges, but you can multiply and divide them?

Published on
#soft-question #physics #foundations
210
Views

Are there any good documentary films about the continuum hypothesis?

Published on
#reference-request #soft-question #set-theory #foundations
300
Views

Mathematical logic and foundations of mathematics in the 20th century

Published on
#reference-request #math-history #foundations
2k
Views

Consistency of ZFC and the key assumption

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

Integers, rationals and reals as sets?

Published on
#elementary-set-theory #rational-numbers #foundations #real-numbers
1.2k
Views

Is formal logic necessary for pure/"higher" mathematics?

Published on
#calculus #logic #self-learning #education #foundations
199
Views

Question about the univalence axiom versus skeleta.

Published on
#category-theory #philosophy #foundations
807
Views

Are there other approaches for the foundations of mathematics, other than logic and set theory?

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

When is it useful to reduce mathematical objects to foundational levels and when it is not?

Published on
#elementary-set-theory #philosophy #foundations
292
Views

Why should we accept the existence of subsets $A$ such that neither $A$ nor $A^c$ are recursively ennumerable? And how can we persuade others?

Published on
#soft-question #computability #philosophy #foundations #motivation

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.