This tag is for questions about the foundations of mathematics, and the formalization of mathematical concepts in foundational theories (e.g. set theory, category theory, and type theory).

learn more… | top users | synonyms

-3
votes
1answer
44 views

Mathematical Expressions [closed]

What do you think about the template in this wikipedia article? http://en.wikipedia.org/wiki/Expression_(mathematics) There are variables but no exponents and roots in arithmetic expressions? I ...
2
votes
1answer
111 views

I need help understanding Frege's definition of number

I have really been trying to understand Frege's definition of a number or at least gain a strong intuition of it. However, my attempts have not been fruitful. If someone could help me it would be much ...
1
vote
1answer
48 views

Defining integer sum without using infinite sets

In ZFC minus infinity (let us call this system $T$), one can still define ordinals, and then define integers as ordinals all of whose members are zero or successor ordinals. Combining the power set ...
4
votes
1answer
86 views

Integer induction without infinity

In ZFC minus infinity (let us call this T), one can still define ordinals, and then define integers as ordinals all of whose members are zero or successor ordinals. I am looking for a formula $\psi$ ...
0
votes
2answers
32 views

how can we express finiteness as a first order property?

I don't know much about set theory but I read that in ZFC a set is finite when there are no bijections from the set to a proper subset of itself. It seems to me however that quantifying over subsets ...
3
votes
2answers
37 views

Function, Relation, Operation and Cartesian Product

An operation is a kind of function. A function is a kind of relation. A relation is a subset of a Cartesian product. A Cartesian product is an operation. Back to 1. It seems to me that there's ...
-1
votes
1answer
107 views

Why does 2+2 equal to 4? [duplicate]

The question is in the title. I am very appreciative of any time and concern put into belaboring this relatively little problem.
50
votes
9answers
3k views

Why is the construction of the real numbers important?

There are a lot of books, specially in Real Analysis and set theory, which define the real numbers by Cauchy sequences or Dedekind cuts. So my question is why don't we simply define the Real numbers ...
-3
votes
1answer
31 views

Can boolean logic compute any sort of mathematical operation?

Computers fundamentally do logical operations on the input and memory they have (as far as I know). Computers are used by mathematicians to do all sorts of mathsy operations (as far as I know). Does ...
3
votes
0answers
112 views

How should one understand the foundation of set theory?

I have read the answer of Carl Mummert for the question on how to avoid circularity. I would like to ask further as I want to study models of set theory. As I understand, with say assuming the ...
3
votes
1answer
118 views

Does internalization loses informations everywhere?

It is well known that a group object in Grp is necessarily abelian. This can be understood as "internalization loses information". Indeed, if one was to study group theory by looking at group objects ...
2
votes
1answer
52 views

A nonempty class of isomorphic groups defines a group

The context of this question is from the definition of the sporadic Mathieu group $M_{23}$, which (in one possible definition) is the stabilizer of a point in $M_{24}$, which is a certain subgroup of ...
3
votes
2answers
218 views

What is so special about the real and complex numbers?

When I was studying linear algebra, the first thing we were introduced was the idea of fields. In studying analysis (and when studying inner product spaces etc), we restricted our possible fields to ...
0
votes
3answers
57 views

Abstracting objects

I understand that one way of defining a mathematical object such as a group is to take an object we already know to exist, for example the integers, and take away some properties from them. This is ...
0
votes
1answer
99 views

Why not allow creativity of definitions?

It appears to me that a fair number of issues with allowing ZFC to work with other mathematical topics is that one cannot phrase certain definitions inside ZFC. Would not this be fixed by allowing ...
1
vote
0answers
21 views

Resources for studying different set theories [duplicate]

Ok so lately I have been fascinated about general structure of mathematics and I have read some books on set theory. I have gone through the Endertons introductory book on set theory which operates ...
4
votes
1answer
60 views

Does $\lambda^2 \leq \kappa^2 \Rightarrow \lambda \leq \kappa$ imply the axiom of choice?

I'm aware that the statement "for all cardinals $\kappa$, $\kappa^2 = \kappa$" is equivalent to the axiom of choice (I believe this was proved by Tarski). More generally, does anyone know if the ...
4
votes
2answers
231 views

stratification (typage) of logic and syntax at the same time: is such a dream feasible? [closed]

This post is more philosophical than formal, yet I think it's an important question. There's an idea I have for long times already that would consist, in some sense, in doing a "theory of theories". ...
10
votes
2answers
218 views

Groupoids more fundamental than categories, really?

I've skimmed through a survey by Thierry Coquand on univalent foundations. It is claimed that "groupoids are more fundamental than categories". And that categories can be seen as groupoids equipped ...
1
vote
1answer
70 views

Explanation of $\mathrm{ZFC} + \lnot \mathrm{Con(ZFC)}$

I read in JDH's answer to this mathoverflow question that $\mathrm{ZFC}$ is equiconsistent with $\mathrm{ZFC} + \lnot \mathrm{Con(ZFC)}$. But this second statement is a bit weird. What does ...
1
vote
1answer
79 views

Is it possible to construct ZFC set theory inside category theory?

It's entirely possible I don't understand what I am talking about, but I know that ZFC stands as a good foundation for much of mathematics and that category theory stands as a good foundation for ...
3
votes
1answer
143 views

Which areas of modern mathematics don't use ZFC set theory?

I've heard that Algebraic Geometry requires something called Category Theory, which itself requires an extension of ZFC called Tarski-Grothendieck set theory, and that got me wondering. Which areas ...
4
votes
0answers
36 views

What is the actual significance of the lambda calculus for the formalization of math?

The Simply Typed Lambda Calculus was proposed initially as a foundational system for the formalization of mathematics. As such, I would expect that soon there would be attempts to implement most of ...
0
votes
0answers
32 views

Categorical presentation of “the theory of structure in Set”

I have been thinking about colimits in finitely accessible categories. Here is a paper that abstracts the notions of Domain theory up to categories themselves. This means that we have notions of ...
5
votes
1answer
144 views

Is category theory constructive?

Roughly: This question concerns the process and the constructive nature of formalizing and proving category theoretic statements within $\textsf{ZFC}$. $\textsf{ZFC}$ can only talk about sets, ...
3
votes
0answers
38 views

Is there any elegant formalization of fractional numbers?

The question is just what is on the title, but I'll describe the context for completion: Natural numbers can be encoded quite elegantly on the Lambda Calculus as church numbers, that is, a function ...
4
votes
1answer
71 views

At the lowest level, can mathematical proofs be reduced to substitutions and rewrites?

This is the impression I got from reading Douglas Hofstadter's book, Godel, Escher, Bach. He spoke of being able to design a proof checker that applied axioms and theorems to determine if a statement ...
3
votes
1answer
142 views

Good book on foundations - axiomatic set theory

I'm currently planning on reading Suppes' Axiomatic Set Theory, because I'm interested in finding out what the currently accepted foundations of mathematic are. Is this a good book for doing so? What ...
2
votes
4answers
98 views

Counting numbers vs Natural numbers; Peano Axioms

I can feel that my question is going to be a somewhat lengthy one, but I will try my best to deliver it in as short a form as I can manage. So to begin, I've always thought that the numbers such as ...
0
votes
1answer
50 views

Immediate consequence in Gödels incompleteness paper

In the famous paper, “On Formally Undecidable Propositions of PM”, $c$ is defined as the immediate consequence of $a$ and $b$ if $a$ is the formula $\lnot b \lor c$. How does this relate to the ...
2
votes
1answer
59 views

Seemingly circular definition of a collection

In the book I'm reading on set theory right now, I'm given this definition: "If $\Phi(x)$ is a formula then the term $\iota !y(\forall x)(x\in y\iff \Phi(x))$ is abbreviated $\{x:\Phi(x)\}$ and read ...
1
vote
2answers
67 views

Is it possible to map mathematics without advanced set theory?

I wish to make a large digraph (network) linking various proofs together in mathematics from, say, the definition of a group to Galois theory. I got in my head that I wanted to do this after reading ...
0
votes
1answer
105 views

Give a recursive definition of the operation of multiplication of natural numbers using the operations s and addition.

Give a recursive definition Basis: m,n subset of N(natural numbers) A contains N (0,m) subset of A If n = 0, 0*m = 0 (m + 1) * x = mx + x Recursive Steps:
1
vote
2answers
66 views

Set membership as a binary relation: self-reference in ZFC?

First of all, I want to make it clear that I am a real novice when it comes to Mathematical logic, so any answer that involves jargons of the discipline will most likely make no sense to me at all... ...
3
votes
0answers
55 views

Bachmann's construction of the real numbers

On page 44 of this book an approach to constructing the real numbers as equivalence classes of nested rational intervals is outlined and attributed to Bachmann. The outline in the book is very ...
0
votes
1answer
84 views

In Whitehead & Russell's PM, what makes anything true or false?

It seems that truth and falsehood are fundamental to meanings and types. A proposition is defined as anything that is true or that is false. PM defines truth as "consisting in the fact that there is ...
1
vote
0answers
66 views

Do all mathematical fields require an algebra?

My understanding is that "algebra" refers to a specific field in mathematics. Here is Wikipedia's introduction: Algebra is one of the broad parts of mathematics, together with number theory, ...
1
vote
2answers
137 views

Why don't we use Presburger's arithmetic instead of Peano's arithmetic?

I was reading about quantifier elimination and discovered the Presburger Arithmetic, the article mentions two points about it: It is decidable, complete and consistent. It omits multiplication ...
0
votes
1answer
69 views

Foundations of math and primitive terms leading to Russells paradox

If the statement "Is an element of" is a primitive term (is not defined/you cant determine its truth) then how do you determine the truth of statements such as "If $x$ is in $S$, then $x$ has property ...
5
votes
3answers
217 views

Intuitionistic Logic and Classical Logic on the proof of (A or B)

In intuitionist logic, a proof of (A or B) means a proof of A, or a proof of B, whereas in Classical logic, a proof of (A or B) may be done withouth either proving A or proving B. I'm trying to ...
1
vote
1answer
66 views

What does if-then has to do with not being true?

I'm reading Chihara's: Constructibility and Mathematical Existence. It says: An even more radical view rejects the assumption that mathematics is true—at least in the straightforward way that ...
0
votes
1answer
45 views

A question on Mortiz Pasch works in foundation of mathematics

I am reading "Introduction to the Foundation of Mathematics" ,by R L.Wilder(2nd Ed.), where Mortiz Pasch's works are described in paragraph 1.5. There is a quotation in that paragraph- " For if,on ...
2
votes
1answer
94 views

Modern algebra and set theory: ZFC vs. NBG

This may be somewhat of a philosophical question and is probably nitpicking, but it is also one that has always bothered me a little: Is it not more natural consider NBG set theory as the foundation ...
0
votes
1answer
185 views

True or false? If $\eta$ is an explicitly defined incomputable number, then no formal system can pin down the value $\eta$ to arbitrary precision.

Let $\eta$ denote an explicitly defined incomputable real number (the bounty text is faulty, and does not mention incomputability of $\eta$). Then I think that no (recursively ennumerable) formal ...
4
votes
6answers
1k views

What's behind the Banach-Tarski paradox? [closed]

The discovery of the Banach-Tarski paradox was of course a great thing in mathematics but raises the issue of the relation between mathematics and reality. Empirically there are good reasons for faith ...
1
vote
0answers
51 views

Are there any articles (or otherwise) that discuss the idea that the set-theoretic universe should be as “free” as possible?

Question. Are there any articles (or otherwise) that discuss (and perhaps attempt to formalize) the idea that the set-theoretic universe should be as "free" as possible? Discussion. ...
13
votes
2answers
293 views

What does it mean to say that a particular mathematical theory is a foundation for mathematics?

We usually hear that set theory is a foundation for contemporary mathematics. Category theory is also another foundation of maths. There are other theories which deemed to be a foundation for maths. ...
4
votes
1answer
71 views

What are the leading alternative foundations for mathematics?

I know that all of mathematics can be recast in terms of set theory. There are multiple choices for this set theory (some form of ZFC, NBG, NF, etc.), and so multiple possible set theoretic ...
0
votes
1answer
68 views

How can the two basic binary operations (addition and subtraction) be defined in set-theoretical terms?

I recently stumbled upon this interesting definition of mathematics: Math is the study of things that can be described as sets I am aware that the integers and the real numbers can be defined in ...
2
votes
1answer
123 views

How to define mathematical objects from scratch?

Are there any "Zermelo-type theories" for some other type of mathematical objects except for sets? I.e., axiomatic systems for mathematical objects formalized for first-order logic using a language ...