H ?
«
‹
←
→
›
»
Language peer sets for Principia Mathematica: United Kingdom↑ United Kingdom/1908↑ Designed 1908 ↑ languages ↑ ↑ ↑ Genus Symbolic ↑ Excluded from Sammet ↑ Symbolic↑ Logical↑ Expression-oriented ↑ Symbolic/1908↑ Logical/1908↑ Expression-oriented/1908↑ Symbolic/United Kingdom↑ Logical/United Kingdom↑ Expression-oriented/United Kingdom↑ Excluded from Sammet ↑ Excluded from Sammet/1908↑ Excluded from Sammet/uk ↑ Principia Mathematica(ID:6961/pri008)R & W symbolic treatment of mathsalternate simple viewCountry: United Kingdom Designed 1908 Genus: Symbolic Sammet category: Excluded from Sammet Russell and Whitehead's mathematical formalistic language expressed with great clarity. Based largely on the Peano synax, with extensions, with logical system based on Frege. Provides the intellectual formalism for types. Ramified Type Theory - "whatever involves all of a collection must not be one of a collection" The orders of types were eliminated by Ramsay. Related languages
References: in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000 in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000 Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |