Von professionellen Übersetzern, Unternehmen, Websites und kostenlos verfügbaren Übersetzungsdatenbanken.
here, the idea was to map mathematical notation to a natural number (using a gödel numbering).
كانت الفكرة هي رسم خريطة التدوين الرياضي mathematical notation لعدد طبيعي (باستخدام ترقيم غودل gödel numbering).
===gödel code===in mathematics, a gödel code was the basis for the proof of gödel's incompleteness theorem.
== ترميز غودل gödel code ==في الرياضيات، كان ترميز غودل الأساس لإثبات مبرهنات غودل في عدم الاكتمال incompleteness theorem .
* van heijenoort, j., "from frege to gödel, a source book in mathematical logic, 1879-1931", harvard university press, cambridge, ma, 1967.
* van heijenoort, j., "from frege to gödel, a source book in mathematical logic, 1879-1931", harvard university press, cambridge, ma, 1967.