Open main menu

Wikipedia β

Changes

Mathematical logic

271 bytes added, 7 months ago
Applications: Added links
 
==Applications==
"Mathematical logic has been successfully applied not only to mathematics and its foundations ([[Gottlob Frege|G. Frege]], [[Bertrand Russell|B. Russell]], [[David Hilbert|D. Hilbert]], [[Paul Bernays|P. Bernays]], [[Heinrich Scholz|H. Scholz]], [[Rudolf Carnap|R. Carnap]], [[Stanislaw Lesniewski|S. Lesniewski]], [[Thoralf Skolem|T. Skolem]]), but also to physics (R. Carnap, A. Dittrich, B. Russell, [[Claude Shannon|C. E. Shannon]], [[Alfred North Whitehead|A. N. Whitehead]], [[Hans Reichenbach|H. Reichenbach]], P. Fevrier), to biology ([[Joseph Henry Woodger|J. H. Woodger]], [[Alfred Tarski|A. Tarski]]), to psychology ([[Frederic Fitch|F. B. Fitch]], [[Carl Gustav Hempel|C. G. Hempel]]), to law and morals ([[Karl Menger|K. Menger]], U. Klug, P. Oppenheim), to economics ([[John von Neumann|J. Neumann]], [[Oskar Morgenstern|O. Morgenstern]]), to practical questions ([[Edmund Berkeley|E. C. Berkeley]], E. Stamm), and even to metaphysics (J. [Jan] Salamucha,<ref>"Jan Salamucha", http://pl.wikipedia.org/wiki/Jan_Salamucha .</ref> H. Scholz, [[Jozef Maria Bochenski|J. M. Bochenski]]). Its applications to the history of logic have proven extremely fruitful ([[Jan Lukasiewicz|J. Lukasiewicz]], H. Scholz, [[Benson Mates|B. Mates]], A. Becker, [[Ernest Addison Moody|E. Moody]], J. Salamucha, K. Duerr, Z. Jordan, [[Philotheus Boehner|P. Boehner]], J. M. Bochenski, S. [Stanislaw] T. Schayer,<ref>"Stanislaw Schayer", http://pl.wikipedia.org/wiki/Stanislaw_Schayer .</ref> [[Daniel H. H. Ingalls Sr.|D. Ingalls]])."<ref>Jozef Maria Bochenski, ''A Precis of Mathematical Logic'', rev. and trans., Albert Menne, ed. and trans., Otto Bird, Dordrecht, South Holland: Reidel, Sec. 0.3, p. 2.</ref> "Applications have also been made to theology (F. Drewnowski, J. Salamucha, I. Thomas).<ref>Jozef Maria Bochenski, ''A Precis of Mathematical Logic'', rev. and trans., Albert Menne, ed. and trans., Otto Bird, [[Dordrecht]], South Holland: Reidel, Sec. 0.3, p. 2.</ref>
 
==Connections with computer science==