New posts in definition

What is a Y-combinator? [closed]

Difference between Analytic and Holomorphic function

GCD of rationals

Definition of convergence of a nested radical $\sqrt{a_1 + \sqrt{a_2 + \sqrt{a_3 + \sqrt{a_4+\cdots}}}}$?

What exactly is the difference between weak and strong induction?

Why is there never a proof that extending the reals to the complex numbers will not cause contradictions?

What is boilerplate code?

What is exactly the difference between a definition and an axiom?

Is it an abuse of language to say "*the* integers," "*the* rational numbers," or "*the* real numbers," etc.?

Different definitions of subnet

How can an ordered pair be expressed as a set?

What exactly is One Definition Rule in C++?

What is the difference between a Ring and an Algebra?

What is the difference between currying and partial application?

What is the definition of a set?

What exactly is a number?

What exactly is calculus?

Given real numbers: define integers?

Why doesn't $0$ being a prime ideal in $\mathbb Z$ imply that $0$ is a prime number?

Why do we not have to prove definitions?