Number of items: 63.
Article
Using the proof assistant Lean in undergraduate mathematics classrooms. (2024)
Gila Hanna,
Brendan Larvor
and
Xiaoheng Yan
picture_as_pdf
Donald Gillies. Lakatos and the Historical Approach to Philosophy of Mathematics. (2024)
Brendan Larvor
Human-Machine Collaboration in the Teaching of Proof. (2023)
Gila Hanna,
Brendan Larvor
and
Xiaoheng Yan
On the unreasonable reliability of mathematical inference. (2022)
Brendan Philip Larvor
Reverse Pedagogy: A Citizens' Assembly Approach to the BAME awarding gap. (2021)
Brendan Larvor
and
Joanna Ahlberg
As Thurston says? : On using quotations from famous mathematicians to make points about philosophy and education. (2020)
Gila Hanna
and
Brendan Larvor
Why 'scaffolding' is the wrong metaphor : the cognitive usefulness of mathematical representations. (2020)
Brendan Larvor
description
From Euclidean Geometry to Knots and Nets. (2019)
Brendan Larvor
Review of What Is A Mathematical Concept? (2019)
Brendan Larvor
A welcome addition to the philosophy of mathematical practice by Roi Wagner. (2018)
Brendan Larvor
Weber and Coyote : polytheism as a practical attitude. (2018)
Brendan Larvor
Why the naïve Derivation Recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge. (2016)
Brendan Larvor
Cultural and Institutional Inequalities : The case of mathematics education in Flemish schools. (2016)
Brendan Larvor
and
Karen François
Review of Uckelman, Sara L. Reasoning about obligations in Obligationes: a formal approach. (2016)
Brendan Larvor
Tales of wonder. (2015)
B. Larvor
Review of 'Mathematics Without Apologies: Portrait of a Problematic Vocation' by Michael Harris. (2015)
B. Larvor
History and philosophy of infinity : Selected papers from the conference “Foundations of the Formal Sciences VIII” held at Corpus Christi College, Cambridge, England, 20–23 September 2013. (2015)
B. Larvor,
Benedikt Loewe
and
Dirk Schlimm
Review of Bennett, Deborah Drawing logical conclusions. (2015)
Brendan Larvor
How to think about informal proofs. (2012)
B. Larvor
picture_as_pdf
The Mathematical Cultures Network Project. (2012)
B. Larvor
Frankfurt counter-example defused. (2010)
B. Larvor
Albert Lautman, ou la dialectique dans les mathématiques. (2010)
B. Larvor
picture_as_pdf
Wot U @ Uni 4? : expectations and actuality of studying philosophy at university. (2009)
B. Larvor
and
John Lippitt
Moral particularism and scientific practice. (2008)
B. Larvor
Students are human beings (discuss). (2008)
B. Larvor
What can the Philosophy of Mathematics Learn from the History of Mathematics? (2008)
B. Larvor
The Case for Teaching Syllogistic Logic to Philosophy Students. (2004)
Brendan Larvor
picture_as_pdf
Why did Kuhn's structure of scientific revolutions cause a fuss. (2003)
B. Larvor
The Growth of Mathematical Knowledge. (2002)
B. Larvor
After Popper, Kuhn and Feyerabend: Recent Issues in Theories of Scientific Method. (2002)
B. Larvor
What is Dialectical Philosophy of Mathematics. (2001)
B. Larvor
Lakatos' mathematical Hegelianism. (1999)
B. Larvor
The owl and the pussycat. (1994)
B. Larvor
Lakatos as historian of mathematics. (1997)
B. Larvor
Re-reading Soviet philosophy : Bakhurst on Ilyenkov. (1992)
B. Larvor
The formalising tendency in philosophy and experimental psychology. (2003)
B. Larvor
Old Maps, Crystal Spheres and the Cartesian Circle. (2001)
B. Larvor
Proof in C17 Algebra. (2005)
B. Larvor
This list was generated on Sat Apr 18 02:35:39 2026 BST.