검색어: mathematica (그리스어 - 영어)

"principia mathematica"" "modernized.
"principia mathematica" modernized.

Είναι ένας από τους εκδότες του "manuscripta mathematica".
frey was co-editor of the "manuscripta mathematica".

"on formally undecidable propositions of principia mathematica and related systems", tr.
"on formally undecidable propositions of principia mathematica and related systems", tr.

Αυτή η θεωρία τύπων βρίσκεται σε περίοπτη θέση στο "principia mathematica" των whitehead και Ράσελ.
this theory of types features prominently in whitehead and russell's "principia mathematica".

Πολλά αλγεβρικά συστήματα υπολογιστών όπως το mathematica επίσης επωφελούνται από τη διαθεσιμότητα της αυθαίρετης αριθμητικής ακρίβειας η οποία μπορεί να προσφέρει πιο ακριβή αποτελέσματα.
many computer algebra systems such as mathematica also benefit from the availability of arbitrary precision arithmetic which can provide more accurate results.

"on formally undecidable propositions of "principia mathematica" and related systems," 596-616.
"on formally undecidable propositions of "principia mathematica" and related systems," 596–616.

Το άρθρο του "zur theorie der meromorphen funktionen" που περιέχει τις κυριότερες θεωρίες του δημοσιεύτηκε το 1925 στην επιστημονική επιθεώρηση acta mathematica.
rolf nevanlinna's article "zur theorie der meromorphen funktionen" which contains the main theorems was published in 1925 in the journal acta mathematica.

* alfred north whitehead and bertrand russell, "principia mathematica" to *56, cambridge at the university press, 1962.
* alfred north whitehead and bertrand russell, "principia mathematica" to *56, cambridge at the university press, 1962.

* kurt godel, 2000. http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf "on formally undecidable propositions of principia mathematica and related systems", tr.
"on formally undecidable propositions of principia mathematica and related systems", tr.