Entity usage

From MaRDI portal

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

List of pages that use a given entity

Showing below up to 50 results in range #1 to #50.

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

  1. Homage to Evangelista Torricelli's \textit{Opera geometrica} 1644--2024. Text, transcription, commentaries and selected essays as new historical insights: Label: en
  2. Irrationality, transcendence and the circle-squaring problem. An annotated translation of J. H. Lambert's \textit{Vorläufige Kenntnisse} and \textit{Mémoire}. With a foreword by José Ferreirós (to appear): Label: en
  3. Irrationality, transcendence and the circle-squaring problem. An annotated translation of J. H. Lambert's \textit{Vorläufige Kenntnisse} and \textit{Mémoire}. With a foreword by José Ferreirós: Label: en
  4. Gödel and Intuitionism: Label: en
  5. Recursive Functions and Constructive Mathematics: Label: en
  6. Proof-Theoretic Semantics and Feasibility: Label: en
  7. Kolmogorov Complexity in Perspective Part II: Classification, Information Processing and Duality: Label: en
  8. Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness: Label: en
  9. The Developments of the Concept of Machine Computability from 1936 to the 1960s: Label: en
  10. Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session: Label: en
  11. Semantics and Truth: Label: en
  12. Peirce and Husserl: Mutual Insights on Logic, Mathematics and Cognition: Label: en
  13. Constructive Semantics: Label: en
  14. The Foundations of Arithmetic in Ibn Sīnā: Label: en
  15. For a Continued Revival of the Philosophy of Mathematics: Label: en
  16. Avicenna: Mathematics and Philosophy: Label: en
  17. The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting: Label: en
  18. Mathematics and the Physical World in Aristotle: Label: en
  19. Some Reasons to Reopen the Question of the Foundations of Probability Theory Following Gian-Carlo Rota: Label: en
  20. Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry: Label: en
  21. M: Label: en
  22. The Foundations of Geometry by Peano’s School and Some Epistemological Considerations: Label: en
  23. Zigzag and Fregean Arithmetic: Label: en
  24. Avicenna and Number Theory: Label: en
  25. Scientific Philosophy and Philosophical Science: Label: en
  26. Analogy and Invention Some Remarks on Poincaré’s Analysis Situs Papers: Label: en
  27. From a geometrical point of view. A study of the history and philosophy of category theory: Label: en
  28. Games: Unifying logic, language, and philosophy: Label: en
  29. Information and knowledge. A constructive type-theoretical approach: Label: en
  30. Induction, algorithmic learning theory, and philosophy: Label: en
  31. Perspectives on mathematical practices. Bringing together philosophy of mathematics, sociology of mathematics, and mathematics education. Based on the international conference on perspectives on mathematical practices (PMP2002), Vrije Universiteit Brussel: Label: en
  32. Formalizing medieval logical theories. Suppositio, consequentiae and obligationes: Label: en
  33. Unifying the philosophy of truth: Label: en
  34. Logic, epistemology, and the unity of science: Label: en
  35. Paraconsistent logic: consistency, contradiction and negation: Label: en
  36. Functions and generality of logic. Reflections on Dedekind's and Frege's logicisms: Label: en
  37. Paul Lorenzen -- mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8--9, 2018: Label: en
  38. Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir: Label: en
  39. Essay \textit{on machines in general} (1786). Text, translations and commentaries. Lazare Carnot's mechanics -- Volume 1: Label: en
  40. Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai: Label: en
  41. Awareness in logic and epistemology. A conceptual schema and logical study of the underlying main epistemic concepts: Label: en
  42. Objects and modalities. A study in the semantics of modal logic: Label: en
  43. Unity, truth and the liar. The modern relevance of medieval solutions to the liar paradox: Label: en
  44. The argument of mathematics: Label: en
  45. Logic, thought and action.: Label: en
  46. Judgement and the epistemic foundation of logic: Label: en
  47. The nature of truth. An updated approach to the meaning of truth ascriptions: Label: en
  48. Vague objects and vague identity. New essays on ontic vagueness: Label: en
  49. Truth, objects, infinity. New perspectives on the philosophy of Paul Benacerraf: Label: en
  50. Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics: Label: en

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:EntityUsage/Q244413"
Powered by MediaWiki