16 citations · 32 across the 20 of their papers we have counts for
23 papers
Tiling a triangle into a prime number of congruent triangles
Michael Beeson
We show that, apart from a few known exceptions, if a triangle is cut into congruent triangles, then is not a prime number. The exceptions are cutting an isosceles triangle…
Solution of Erdős Problem 633
Michael Beeson, Miklos Laczkovich, Yan X. Zhang
We classify triangles that can be tiled only into a square number of congruent triangles, settling Erdős Problem 633.
Rationality of certain triangle tilings
Michael Beeson, Yan X Zhang
We consider tilings of a triangle by congruent copies of a triangle that has one angle equal to , has non-commensurable angles (that is, not all angles are rationa…
The Church numbers in NF set theory
Michael Beeson
By INF we mean Quine's NF set theory, with intuitionistic logic. We define the Church numerals (or better, Church numbers) and elaborate their properties in INF. The Church countin…
Finite sets, mappings, cardinals, and arithmetic in intuitionistic New Foundations
Michael Beeson
NF set theory using intuitionistic logic is called iNF. We develop the theories of finite sets and their power sets and mappings, finite cardinals and their ordering, cardinal expo…
Euclid After Computer Proof-checking
Michael Beeson
Euclid pioneered the concept of a mathematical theory developed from axioms by a series of justified proof steps. From the outset there were critics and improvers. In this century…