Διαφορά μεταξύ των αναθεωρήσεων του «Μαθηματική επαγωγή»

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