gemeinsam neue Wege der Erkenntnis gehen
Eine freie Initiative von Menschen bei anthrowiki.at anthrowiki.at, anthro.world anthro.world, biodyn.wiki biodyn.wiki und steiner.wiki steiner.wiki
mit online Lesekreisen, Übungsgruppen, Vorträgen ...
Wie Sie die Entwicklung von AnthroWiki durch Ihre Spende unterstützen können, erfahren Sie hier.

Use Google Translate for a raw translation of our pages into more than 100 languages.
Please note that some mistranslations can occur due to machine translation.

Formalisierung

Aus AnthroWiki

Durch Formalisierung wird eine Sache, ein Sachverhalt, eine Handlungsanweisung, eine wissenschaftliche Aussage oder Theorie usw. mittels einer formalen Sprache in abstrakter wohldefinierter generalisierter Form beschrieben. Gottlob Frege (1848-1925) schuf mit seiner 1879 veröffentlichten «Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens» erstmals eine für diesen Zweck geeignete formale Sprache und ermöglichte dadurch formale Beweise, die eine wesentliche Grundlage für die moderne Informatik und für formale Methoden in der linguistischen Semantik bildete.

Siehe auch