"Intuitionistic" Example Sentences
1. The intuitionistic approach to mathematics was developed by Brouwer in the early 20th century.
2. Intuitionistic logic is a type of logical system that rejects the law of excluded middle.
3. Intuitionistic topology is a branch of mathematics that studies the properties of spaces using a constructive approach.
4. One of the key ideas in intuitionistic mathematics is the concept of a constructive proof.
5. Intuitionistic set theory is a branch of mathematics that explores the properties of sets using a constructive approach.
6. The intuitionistic interpretation of logic is often used in computer science to reason about programs.
7. Intuitionistic analysis is a branch of mathematics that explores the properties of functions using a constructive approach.
8. Intuitionistic type theory is a type of logic that provides a foundation for constructive mathematics.
9. The intuitionistic approach to geometry was developed by Poincaré in the early 20th century.
10. Intuitionistic modal logic is a type of modal logic that is based on intuitionistic logic.
11. Intuitionistic proof theory is a branch of mathematical logic that studies the proof-theoretic aspects of intuitionistic logic.
12. The intuitionistic approach to topology was developed by Alexandroff in the early 20th century.
13. Intuitionistic linear logic is a type of linear logic that is based on intuitionistic logic.
14. Intuitionistic arithmetic is a branch of mathematics that explores the properties of numbers using a constructive approach.
15. Intuitionistic fuzzy set theory is a branch of fuzzy set theory that uses intuitionistic logic.
16. The intuitionistic approach to analysis was developed by Brouwer in the early 20th century.
17. Intuitionistic constructive analysis is a branch of mathematics that explores the properties of functions using a constructive approach.
18. Intuitionistic type theory can be used to provide a foundation for programming languages.
19. The intuitionistic approach to category theory was developed by Lawvere in the mid 20th century.
20. Intuitionistic provability logic is a type of modal logic that is based on intuitionistic logic.
21. Intuitionistic proof theory can be used to study the computational complexity of algorithms.
22. The intuitionistic approach to measure theory was developed by Kolmogorov in the early 20th century.
23. Intuitionistic temporal logic is a type of temporal logic that is based on intuitionistic logic.
24. Intuitionistic analysis can be used to study the computational complexity of numerical algorithms.
25. The intuitionistic approach to topology can be used to study the properties of geometric shapes.
26. Intuitionistic epistemic logic is a type of epistemic logic that is based on intuitionistic logic.
27. Intuitionistic fuzzy logic can be used to reason about uncertain or incomplete information.
28. The intuitionistic approach to algebra was developed by Heyting in the mid 20th century.
29. Intuitionistic constructive topology is a branch of topology that explores the properties of spaces using a constructive approach.
30. Intuitionistic provability theory can be used to study the consistency of formal systems.
Common Phases
1.
Intuitionistic logic is a type of formal mathematical reasoning that rejects the law of excluded middle;
2. The
intuitionistic approach to mathematics emphasizes the concept of constructive existence;
3.
Intuitionistic set theory is an alternative to classical set theory that emphasizes
intuitionistic logic;
4. The
intuitionistic notion of truth differs from the classical notion in that it requires a constructive proof;
5.
Intuitionistic topology is a branch of mathematics that studies topological spaces through the lens of
intuitionistic logic.