H ? « ‹ ← → › »

Language peer sets for Peano:
Italy↑
Italy/1888↑
Designed 1888 ↑
languages ↑
↑
↑
Genus Symbolic ↑
Excluded from Sammet ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1888↑
Logical/1888↑
Expression-oriented/1888↑
Symbolic/Italy↑
Logical/Italy↑
Expression-oriented/Italy↑
Excluded from Sammet ↑
Excluded from Sammet/1888↑
Excluded from Sammet/it ↑

Peano(ID:6962/pea006)

Peano 

alternate simple view
Country: Italy
Designed 1888
Genus: Symbolic
Sammet category: Excluded from Sammet

Peano's formalism of logic, introduces rigid symbolic symbols for quantifiers etc. Basis of the PM, and therefore the ancestor of a range of symbolic systems

Our upside down A and backwards E are the result of Peano's penchant for typography.
Related languages
Peano → Mizar   Implementation of
Peano → Principia Mathematica   Extension of
References:
  • Peano, Giuseppe (1889) Peano, Giuseppe "The principles of arithmetic, presented by a new method" 1889
  • Rudnicki, Piotr (1992) Rudnicki, Piotr "An Overview of the MIZAR Project" Department of Computing Science University of Alberta June 30, 1992 Extract: Intro Extract: History of Mizar
  • Fairouz Kamareddine, Twan Laan and Rob Nederpelt (2000) Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics"
          in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder