Was sind die formalen Wissenschaften?

Ein “formal science† ist ein Untersuchungsbereich, das formale Systeme benutzt, um Wissen zu erzeugen. Mathematik ist das prototypische Beispiel. Andere einschließen Logik, Statistiken, Informationstheorie und theoretische Informatik he. Obgleich es manchmal in Frage gestellt worden, ob diese wirklich “science† †„in Betracht des Mangels an realistischem Experimente †„sind, erhalten diese Disziplinen häufig entlang in Wissenschaft irgendwie zusammengefasst. Trotz ihres Fehlens von einer empirischen Basis, gelten die formalen Wissenschaften im Allgemeinen als extrem wichtig, und in der Tat, abhängt die ganze quantitative Wissenschaft von ihnen n. Es ist eine laufende Debatte, ob die formalen Wissenschaften zutreffende Wissenschaft sind.

Mathematiktexte auftauchen in der alten Geschichte um 1800 BC, in Mesopotamien, die Position von Babylon, die größte Stadt auf Masse zu der Zeit it. Der ursprüngliche Zweck war, Waren, wie Sklaven oder Korn quantitativ zu bestimmen. Herum 600 BC in China und in Griechenland in 400 waren BC die Anfangsentwicklung von Logik, die ausdrückliche Analyse der Argumentationsmethoden. In Griechenland waren die großen altgriechischen Philosophen wie Pythagoras, SOCRATES, und Aristoteles, dessen Intuitionen und Glaube über Logik und Wissenschaft die westliche Welt bis die moderne Ära, bis Himmelskörper des 17. Jahrhunderts wie Pierre De Fermat, Blaise Pascal beherrschte, und Christiaan Huygens kickstarted die Entwicklung von Mathematik in seiner modernen Form.

Informationstheorie, theoretische Informatik und moderne (bayesische) Statistiken datieren zu Claude Shannon und zu Jon von Neumann im mid-20th Jahrhundert. Alan Turing bildete auch wichtige Beiträge. Die Theorie um Computer, das Radiosignalisieren und der Antennenalle Entwurf abhängen von den Meilensteinen e, die von diesen Denkern erzielt. Diese Bereiche sind höchst wichtige Teile der formalen Wissenschaften.

Nach vielen Dekaden von Messiness in den experimentellen Methoden und in der Analyse, vor kurzem erhalten das “soft sciences† (Sozialwissenschaft, Politikwissenschaft, etc.) quantitativer und eine grundlegende Verschiebung auf die Art angekündigt, die Sachen erfolgt. Psychologie geworden experimenteller, und viele dieser Resultate sind weg die traditionelle Klugheit der älteren Denker wie Freud ausgedehnt. Experimentelle Psychologie fällt häufig unter die Fahne von “cognitive psychology.†

Theoretische Physik scheint in hohem Grade - Abhängiges auf Entwicklungen in der Mathematik, zum des Fortschritts zu bilden. Theoretische Physik häufig verwendet die h5ochstentwickelte vorhandene Mathematik des Tages und beschreibt seine Resultate und Vorhersagen in diesen Ausdrücken.