Μαθηματική επαγωγή: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 1:
Η '''μαθηματική επαγωγή''' ή διαφορετικά '''τέλεια επαγωγή''' είναι μια μέθοδος μαθηματικής απόδειξης που συνήθως χρησμοποιείται για να αποδειχτεί μια πρόταση ότι ισχύει για όλους τους [[φυσικός αριθμός|φυσικούς αριθμούς]]. Η μαθηματική επαγωγή είναι λογικά ισοδύναμη με την [[αρχή της καλής διάταξης]].
Η μέθοδος της μαθηματικής επαγωγής δεν πρέπει να αντιμετωπίζεται σαν κάποιο είδος επαγωγικού λογισμού ο οποίος δεν οδηγεί πάντα σε έγκυρα αποτελέσματα, όπως για παράδειγμα στη φυσική όπου χρησιμοποιείται επαγωγικός λογισμός για να εξαχθεί ένας γενικός κανόνας από μερικές περιπτώσεις. Για την ακρίβεια η μέθοδος της μαθηματικής επαγωγής είναι μια μορφή [[παραγωγικός λογισμός|παραγωγικού λογισμού]] και οδήγεί σε πλήρως κατοχυρωμένα αποτελέσματα.
| |||