Discover published sets by community

Forms the basis of all mathematics, leading to questions about the reality of mathematical entities and the nature of mathematical truth.

Serves as the building blocks of digital circuits, representing the intersection of logic and physical reality in computation.

Represents foundational efforts to build mathematics from a set of basic truths, raising questions about the objectivity and certainty of mathematical knowledge.

Challenges determinism and introduces chance as a fundamental component in the natural laws, affecting scientific explanations.

Shows the limitations of formal systems and the nature of mathematical truth that cannot be captured by axioms within the system.

Explores the abstract properties of numbers, raising questions about the nature and existence of mathematical objects without physical form.

Represents the uncapturable by finite means, questioning the nature of existence and the infinite regress in causality.

Highlights the relationship between the finite and the infinite, continuity, and the implications of change over time.

Exemplifies the concept of algorithm or mechanical procedure, leading to foundational debates on the limits of computation and artificial intelligence.

Provides a framework for integrating concepts of size and distance, questioning how we quantify and compare different infinities.

Introduces philosophical debates on the nature of choosing and existential quantification in math, which parallels free will discussions.

Embodies the quest for certainty and the idea that absolute proof is possible, providing a measure of truth in the sciences.

Explores the properties of space that diverge from our intuitive axioms, impacting our understanding of space and reality.

Challenges the self-evident nature of geometrical axioms and introduces the relativity of space, influencing theories of the universe's structure.

Raises questions about the nature of procedures and computability, ultimately affecting our understanding of the limitations of scientific computation.

Reflects on the fundamental structures underlying physical systems and the beauty and harmony in nature.

Engages with the applicability and effectiveness of mathematics in describing the world, touching on the 'unreasonable effectiveness' problem.

Challenges our conceptions of 'number' and shows how extension of fundamental concepts leads to richer mathematical landscapes.

Addresses the computationally complex nature of problems and the distinction between knowing and finding solutions, analogous to epistemic themes.