απόδειξη θεωρήματος oor Russies

απόδειξη θεωρήματος

Vertalings in die woordeboek Grieks - Russies

доказательство теоремы

Η απόδειξη ενός μαθηματικού θεωρήματος

voorbeelde

Αυτό οδήγησε σε ισχυρές νέες προσεγγίσεις στην διαδραστική απόδειξη θεωρημάτων και έχει επηρεάσει την ανάπτυξη πολλών μεταγενέστερων συναρτησιακών γλωσσών προγραμματισμού.
Это дало мощный толчок к развитию диалогового доказательства теорем и к последующему созданию множества функциональных языков.

Ο Τάμμετ έλαβε διεθνή φήμη για το αυτοματοποιημένο πρόγραμμα απόδειξης θεωρημάτων Γκάνταλφ, το οποίο κέρδισε διάφορες κατηγορίες του διαγωνισμού CASC του Συμβουλίου Αυτοματοποιημένης Απόδειξης Θεωρημάτων έξι φορές μεταξύ 1997 και 2003.
Таммет получил международное признание благодаря своей программе Gandalf для автоматического доказательства теорем, которая побеждала в различных категориях конкурса CADE CASC шесть раз в период между 1997 и 2003 годом.

Μια από τις μεγάλες του επιτυχίες εκείνην την εποχή ήταν η απόδειξη του θεωρήματος των πολυγωνικών αριθμών του Φερμά.
Главным событием в его карьере стало доказательство Великой теоремы Ферма в 1994 году.

Το άλυτο πρόβλημα τόνωσε την ανάπτυξη της αλγεβρικής θεωρίας αριθμών στον 19ο αιώνα και την απόδειξη του θεωρήματος των modular forms στον 20ο αιώνα.
Попытки решить эту проблему в XIX веке привели к развитию алгебраической теории чисел и доказательству теоремы о модулярности в XX веке.

Αυτή η απόδειξη του θεωρήματος διαχωρισμού ισχύει το ίδιο ικανοποιητικά και σε σταθμισμένα επίπεδα γράφων, στα οποία κάθε κορυφή έχει ένα μη-αρνητικό κόστος.
Это доказательство теоремы о планарном разбиении применимо также для взвешенных планарных графов, когда каждая вершина имеет неотрицательную цену.

Για την ακρίβεια, αποδείχτηκε πως είναι ισοδύναμο με την απόδειξη του Τελευταίου Θεωρήματος του Fermat.
Фактически гипотеза оказалась эквивалентной большой теореме Ферма.

Τελικά αποδείχτηκε απολύτως βασική πολλές δεκαετίες μετά στην απόδειξη του Τελευταίου Θεωρήματος του Fermat.
Она оказалась очень полезной десятилетия спустя при доказательстве большой теоремы Ферма.

Το 1908, ο Γερμανός βιομήχανος και ερασιτέχνης μαθηματικός Paul Wolfskehl κληροδότησε 100.000 μάρκα στην Ακαδημία Επιστημών της Γκότιγκεν για να αθλοθετηθεί βραβείο για μια πλήρη απόδειξη του Τελευταίου θεωρήματος του Φερμά.
В 1908 году немецкий любитель математики Вольфскель завещал 100 тыс. немецких марок тому, кто докажет теорему Ферма.

(Για ομάδες χαμηλότερης βαθμίδας από 2, η απόδειξη αυτού καταρρέει, επειδή θεωρήματα όπως το θεώρημα signalizer functor λειτουργεί μόνο για ομάδες με αντιμεταθετικές υποομάδες βαθμού τουλάχιστον 3.)
(Для групп низкого 2-ранга доказательство этого не проходит, поскольку теоремы, такие как теорема о сигнализаторном функторе, работают только для групп с элементарными абелевыми подгруппами ранга по меньшей мере 3.)

Ο ίδιος λέει: «Ακόμη και αυτή η φαινομενικά εύκολη λειτουργία—που φαίνεται παιχνιδάκι μπροστά στην απόδειξη ενός γεωμετρικού θεωρήματος ή στην κατανόηση ενός κουαρτέτου εγχόρδων του Μπετόβεν—περιλαμβάνει περίπου 6 εκατομμύρια νευρώνες, ο καθένας από τους οποίους λαβαίνει ίσως και 10.000 ερεθίσματα από άλλους νευρώνες».
Исследователь замечает: «Даже эта простая задача, которая представляется пустячной в сравнении с доказательством геометрической теоремы или эстетической оценкой струнного квартета Бетховена, требует участия примерно 6 миллионов нейронов, каждый из которых получает от своих соседей, возможно, до 10 000 сигналов».

Γιατί το συμπέρασμα ήταν άγνωστο, η απόδειξη πρώτης γενιάς αποτελείται από πολλά αυτόνομα θεωρήματα, που ασχολούνται με σημαντικές ειδικές περιπτώσεις. Μεγάλο μέρος του έργου που αποδεικνύει τα θεωρήματα ήταν αφιερωμένο στην ανάλυση πολλών ειδικών περιπτώσεων.
Поскольку окончательное утверждение было неизвестно, первое поколение доказательства состоит из большого числа самостоятельных теорем, имеющих дело с важными особыми случаями.

Το τίμημα κάτω από αυτήν την αναθεωρημένη στρατηγική είναι ότι τα θεωρήματα πρώτης γενιάς δεν έχουν μόνο συγκριτικά μικρές αποδείξεις, αλλά αντί αυτού βασίζονται στην πλήρη ταξινόμηση.
Цена этой стратегии — некоторые теоремы первого поколения не имеют тогда сравнительно коротких доказательств, а опираются на полную классификацию.

Οπότε ένα παιδί 14 χρονών που φοιτά στο γυμνάσιο διδάσκεται αυτή την εκδοχή του Πυθαγόρειου θεωρήματος, που είναι ειλικρινώς μια ευφυής και ενδιαφέρουσα απόδειξη, αλλά στην πραγματικότητα δεν είναι ο "σωστός" τρόπος για να αρχίσει κανείς να μαθαίνει μαθηματικά.
Так, подросток 14 лет в старших классах средней школы получает вот такую версию теоремы Пифагора, с доказательством ловким и интересным, но на самом-то деле это не лучший способ для начала изучения математики.