A counterpart of Occam's razor in pure and applied mathematics. Semantic uses
type: Item
instance of: scholarly article
title: A counterpart of Occam's razor in pure and applied mathematics. Semantic uses
zbMATH Open document ID: 0108.00102
DOI: 10.1007/BF00486631
published in: Synthese
publication date: 1961-01-01T00:00:00Z
review text: Als Gegenstück zu ,,Occam's Klinge'', die alles auf das wesentliche zurückschneiden will, betrachtet Verf. die Notwendigkeit, der ,,x-omanie'' der klassischen Mathematik, d. h. der Bequemlichkeit, begrifflich verschiedene Dinge mit demselben Buchstaben zu bezeichnen, Einhalt zu gebieten. Mengers ,,Kamm'' hierzu besteht aus 6 Bezeichnungsregeln, die gestatten, Funktionen, Fluenten, Zahlen, Variablen und Unbestimmte auseinanderzuhalten, ferner in der Verwendung bestimmter Zeichen für die Identität \(x\to x\) und die Selektoren \((x, y) \to x\), usw. Der damit verbundene pädagogische und typographische Mehraufwand mache sich bezahlt mit der Klarheit der Symbole und Formulierungen und einen gewissen Automatismus der Bezeichnungen, der auch für Rechenmaschinen von Nutzen sein könne.
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 3176031
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00486631
OpenAlex ID: W2048423834
author: Karl Menger
description: scientific article; zbMATH DE number 3176031