MATH
Login Or Sign up

List Question

15
127
Views

Different Proof Systems for the same Logic

Published on
#logic #philosophy
86
Views

Did Skolem (and others) consider all "legitimate" models to be "actually" countable?

Published on
#logic #set-theory #philosophy
66
Views

Using set-builder notation in an unusual way for more concise expressions in a definition. Good style?

Published on
#proof-writing #notation #terminology #philosophy
93
Views

Presupposition in logic

Published on
#logic #philosophy
253
Views

On the Consistency of Non-Euclidean Geometry

Published on
#logic #soft-question #foundations #philosophy #noneuclidean-geometry
77
Views

How do proofs of program termination depend on strength of logical systems?

Published on
#logic #soft-question #computability #philosophy
741
Views

what is the exact meaning of the identity relation?

Published on
#discrete-mathematics #elementary-set-theory #logic #relations #philosophy
1.1k
Views

Is proof of the law of identity a case of circular reasoning?

Published on
#logic #solution-verification #proof-explanation #first-order-logic #philosophy
104
Views

Is the deducutive apparatus of a formal system necessarily a set of inference rules?

Published on
#logic #proof-writing #formal-languages #philosophy #metalogic
46
Views

On series expansions and valid arguments

Published on
#sequences-and-series #generating-functions #philosophy
102
Views

Is expression and its result is the same thing?

Published on
#soft-question #philosophy
44
Views

Why do the increasing sequences $x_n, y_n$, decrease to $x,y$ to show a bivariate (or univariate) cdf is right continuous?

Published on
#probability-theory #philosophy #cumulative-distribution-functions
250
Views

Why were evil numbers named "evil"?

Published on
#elementary-number-theory #reference-request #definition #philosophy
296
Views

How should one understand the "universe of sets"?

Published on
#logic #set-theory #model-theory #foundations #philosophy
35
Views

Is there a modal operator, L, that satisfies φ ↔ & ~L ⊢ ~Lφ?

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