
06-01-12

00:10
εγω ξερω οτι η ισοδυναμια χρειαζεται οταν για να αποδειξεις κατι ξεκινας με την υποθεση οτι ετσω οτι ισχυει αυτο που θες να αποδειξεις και καταληξεις σε κατι που επισης ισχυει αλλα βαζεις ισοδυναμιες γιατι τελικα πρεπει να γυρισεις πισω ξανα στην αρχικη υποθεση που εκανες...εγω δεν εκανα την υποθεση "εστω οτι την επαληθευει" αλλα κατεληξα με μια σειρα λογικων πραξεων στο οτι την επαληθευει
Σημείωση: Το μήνυμα αυτό γράφτηκε 13 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.