The following pages link to Leon Harkleroad (Q588764):
Displaying 50 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Starry reckoning: reference and analysis in mathematics and cosmology (Q311372) (← links)
- An analysis of the \textit{Tabulae magistrales} by Giovanni Bianchini (Q332278) (← links)
- Stevin numbers and reality (Q351454) (← links)
- Mathematical models as artefacts for research: Felix Klein and the case of Kummer surfaces (Q353320) (← links)
- The Union of Czech Mathematicians and Physicists: the first 150 years (Q354138) (← links)
- Long history of the Monge-Kantorovich transportation problem (Q393476) (← links)
- Should we revitalize the Maya numerals? (Q393482) (← links)
- Who linked Hegel's philosophy with the history of mathematics? Hint: he also gave the Steiner surface its name (Q393486) (← links)
- Obituary for Wolfgang Schwarz (Q403374) (← links)
- On \(n\)-tardy sets (Q435200) (← links)
- Computing maximal chains (Q453200) (← links)
- W. W. Rouse Ball and the mathematics of string figures (Q465159) (← links)
- Varieties of wonder: John Wilkins' mathematical magic and the perpetuity of invention (Q465162) (← links)
- God, king, and geometry: revisiting the introduction to Cauchy's \textit{Cours d'analyse} (Q549913) (← links)
- Some highly undecidable lattices (Q584255) (← links)
- Gödel on Tarski (Q598320) (← links)
- A ``lacuna'' in proposition 9 of archimedes' On the sphere and the cylinder, book I (Q619761) (← links)
- The function of diorism in ancient Greek analysis (Q619763) (← links)
- James Stirling: mathematician and mine manager (Q645319) (← links)
- Late style -- Yuri I. Manin looking back on a life in mathematics. DVD-Video (Q660184) (← links)
- For better or for worse? Collaborative couples in the sciences (Q660359) (← links)
- The concept of involution in Girard Desargues' \textit{Brouillon project} (Q680593) (← links)
- Aspects of de La Vallée Poussin's work in approximation and its influence (Q685233) (← links)
- Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes (Q701736) (← links)
- A note on da Costa-Doria ``exotic formalizations'' (Q711567) (← links)
- Isols and generalized Boolean algebras (Q749527) (← links)
- The degree of a \(\Sigma_ n\) cut (Q749530) (← links)
- Recursive surreal numbers (Q750440) (← links)
- Lagrange's theory of analytical functions and his ideal of purity of method (Q765964) (← links)
- Manifolds allowing RET arithmetic (Q790107) (← links)
- Why Euclid's geometry brooked no doubt: J. H. Lambert on certainty and the existence of models (Q833025) (← links)
- Strong enumeration reducibilities (Q850805) (← links)
- The Berlin school of logical empiricism and its legacy (Q868513) (← links)
- Continued proportions and Tartaglia's solution of cubic equations (Q891753) (← links)
- African dance rattles and plaiting polyhedra: a journey (Q897018) (← links)
- Immunity and hyperimmunity for sets of minimal indices (Q929628) (← links)
- On Euler's attempt to compute logarithms by interpolation: a commentary to his letter of February 16, 1734 to Daniel Bernoulli (Q935800) (← links)
- Branching in the \({\Sigma^0_2}\)-enumeration degrees: a new perspective (Q938234) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- On the history of Fermat's last theorem: Fresh views on an old tale (Q969630) (← links)
- An analysis of nonpositional numeral systems (Q1026608) (← links)
- Iterated images on manifolds (Q1072544) (← links)
- Complementing below recursively enumerable degrees (Q1093627) (← links)
- Impossibility of finite generation of partial recursive functions by a unary isotone operation (Q1101443) (← links)
- A class of recursively enumerable sets (Q1101444) (← links)
- (Q1106202) (redirect page) (← links)
- Intrinsically \(\Sigma ^ 0_{\alpha}\) relations (Q1106203) (← links)
- Tabular degrees in \(\alpha\)-recursion theory (Q1184713) (← links)
- Cancellation laws for polynomial-time \(p\)-isolated sets (Q1192348) (← links)