MATH
Login Or Sign up

List Question

15
118
Views

Intuitionistic Logic vs Constant Domains

Published on
#logic #philosophy #modal-logic #intuitionistic-logic
84
Views

Concerns with Global Choice vs Ordinary Choice

Published on
#set-theory #axiom-of-choice #philosophy
95
Views

How do people come up with math equation ? Does it come from manual testing thousand of time?

Published on
#philosophy
103
Views

Could you say that the unxepected hanging paradox is a falsidical paradox?

Published on
#logic #solution-verification #philosophy #paradoxes
76
Views

What are some good references to help explain the need for an axiom schema of replacement rather than an axiom of replacement?

Published on
#education #axioms #philosophy
50
Views

How are we able to prove, with higher confidence, mathematical rules that applies to all numbers in its domain without testing it on all numbers?

Published on
#philosophy
169
Views

What are the merits of having a "good" proof system?

Published on
#logic #first-order-logic #model-theory #philosophy #proof-theory
123
Views

Theorems that won't be proved by a computer

Published on
#logic #computer-science #propositional-calculus #first-order-logic #philosophy
64
Views

Criterion of Identity for 'set'

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

Benacerraf's identification problem and PA categoricity

Published on
#logic #philosophy
58
Views

Proving a logic axiom involving counterfactuals

Published on
#logic #proof-explanation #philosophy
145
Views

Introductory text on logic for those interested in the intersection of logic, algebra, and topology?

Published on
#logic #model-theory #philosophy #modal-logic
292
Views

Why are we confident in the ability of ZFC to formalise mathematics if very few proofs are actually converted into ZFC?

Published on
#elementary-set-theory #logic #foundations #philosophy
3.1k
Views

Does the epsilon-delta definition of limits truly capture our intuitive understanding of limits?

Published on
#real-analysis #calculus #soft-question #epsilon-delta #philosophy
119
Views

Poincaré's notion of magnitude

Published on
#analysis #logic #arithmetic #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.