Θέλω να αποδείξω τα πάντα.
γράφει ο γιατ' όχι; μεσάνυχτα |Θρησκευτικά

Εδώ, δυο βήματα από την παραλία, τα πλατάνια, τα κάστρα και τα σημεία συνάντησης των καλοκαιρινών ραντεβού πάνω στο σώμα σου -μη έχοντας τίποτα καλύτερο να κάνω δηλαδή- σκέφτομαι γιατί μια αντίφαση μπορεί να αποδείξει κάθε πρόταση που μπορεί να διατυπωθεί σ” ένα σύστημα.

σύντροφοι-γείτονες-μαθηματικοί και συνδυασμοί γνωρίζετε την απόδειξη;


3 απαντήσεις στο “Θέλω να αποδείξω τα πάντα.”

  1. Mersault
    παρασκευή 18 αυγούστου '06, μεσάνυχτα

    Αυτό που λες ισχύει και στα τυπικά συστήματα λογικής μεγαλύτερης της πρώτης τάξης;

    Δεν νομίζω. Ο Έρωτας εξάλλου είναι μια περίπλοκη υπόθεση. Ανέκαθεν έτσι ήταν.

  2. yatiohi
    παρασκευή 18 αυγούστου '06, μεσάνυχτα

    Όταν το διάβασα αναφερόταν στην αριθμητική όπως την όρισε ένας τύπος ονόματι Frege, ότι δηλαδή το παράδοξο του Ράσελ εφαρμοζόταν στο σύστημα αυτό και χάλαγε την συνέπειά του.

  3. Mersault
    δευτέρα 21 αυγούστου '06, μεσάνυχτα

    http://plato.stanford.edu/entries/russell-paradox/