MATH
Login Or Sign up

List Question

15
183
Views

what does " calculus" mean when used in logic? and more broadly in mathematics? ( not a question dealing specially with derivatives, integrals, etc.)

Published on
#logic #foundations #philosophy
85
Views

A monotonicity-style property of Martin-Löf Type Theory

Published on
#logic #reference-request #foundations #proof-theory #type-theory
2.1k
Views

Gödel's paradox: Why is "a proof that some universal statement is unprovable" not a valid proof that this statement is true?

Published on
#logic #foundations #provability
2.4k
Views

Is multiplication of real numbers uniquely defined as being distributive over addition?

Published on
#foundations #binary-operations
114
Views

Reference request: definition of class

Published on
#reference-request #set-theory #foundations
86
Views

A graded definition of class using types.

Published on
#reference-request #set-theory #foundations
303
Views

Is this proof of existence and uniqueness of recursive functions in ZF using recursive predicates valid?

Published on
#proof-verification #elementary-set-theory #logic #first-order-logic #foundations
140
Views

Strongest tools to detect unsoundness

Published on
#logic #proof-theory #foundations #provability #nonstandard-models
600
Views

Why does Archive of Formal Proofs use Isabelle/HOL as opposed to Isabelle/ZF?

Published on
#logic #axioms #foundations #automated-theorem-proving
1.4k
Views

What is the difference between Formal Logic and Proofs?

Published on
#logic #soft-question #foundations
141
Views

The Foundation of Mathematics

Published on
#logic #axioms #foundations #philosophy
262
Views

Is there a constructive version of the logic of Isabelle/HOL?

Published on
#proof-verification #logic #foundations
857
Views

Really confused about the relationship between set theory, functions, ZFC, Peano axioms, etc.

Published on
#logic #set-theory #definition #foundations #peano-axioms
119
Views

Can $\mathbb R$ be enumerated after all?

Published on
#order-theory #foundations
148
Views

Unbounded Finity?

Published on
#logic #set-theory #foundations

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.