I don't know why men are still doing the "not all men" thing in 2017
-
-
A C T U A L L Y
- 1 réponse de plus
Nouvelle conversation -
-
-
It's a Chevy Chase quote from SNL
Merci. Twitter en tiendra compte pour améliorer votre fil. SupprimerSupprimer
-
-
-
First Order Logic + other axioms is more or less the language of math (unless you're talking category theory). Why do you have the dash in front of the predicates and quantifiers? Is is a negation?
Merci. Twitter en tiendra compte pour améliorer votre fil. SupprimerSupprimer
-
-
-
Isn't that algebra? If you multiply the first thingy by itself and then square root the second thingy you get the tangent.
-
Symbolic logic - originally firmly a part of philosophy, the early computer pioneers adopted it and sucked it into math
#yourewelcome ;-) -
The Principia Mathematica (an exhaustive attempt to logify math) was published in 1910. Russel while a Philosopher, Logician and Mathematician was not involved in computing--as far as I know.
-
It was certainly an inspiration for Turing and Church.
-
Yes but that doesn't matter. Your said "early computer pioneers adopted it and sucked it into math". My counter point was that it's presence in the works of Cantor, Frege, Russell, and many other mathematicians precede that by decades.
Fin de la conversation
Nouvelle conversation -
Le chargement semble prendre du temps.
Twitter est peut-être en surcapacité ou rencontre momentanément un incident. Réessayez ou rendez-vous sur la page Twitter Status pour plus d'informations.