Μαθηματικά Ταξίδια

logo101

maths11

Όταν για μια θεωρία διαθέτουμε μοντέλα με άπειρη πληθικότητα, μπορούμε να βρούμε μοντέλα με αριθμήσιμη ή με μή αριθμήσιμη πληθικότητα.
Skolem_​Lowenheim

ΟΚΤΩΒΡΙΟΣ

Λεπτομέρειες

ΟΚΤΩΒΡΙΟΣ 2012

Ένα σύνολο Α λέμε οτι είναι αριθμήσιμο όταν υπάρχει μια συνάρτηση f:A – >N η οποία είναι 11 και επί. (Όταν δηλαδή τα στοιχεία του μπορούν να τεθούν σε μια ένα προς ένα αντιστοιχία με το σύνολο Ν των φυσικών αριθμών). Να αποδειχτεί οτι το σύνολο των ακολουθιών πραγματικών αριθμών είναι μη αριθμήσιμο. (Αυτό σημαίνει οτι το (άπειρο) πλήθος των ακολουθιών πραγματικών αριθμών είναι μεγαλύτερο απο το (άπειρο) πλήθος των φυσικών αριθμών.)

Στην υγειά σας

mug and torus morph

«Για τα πράγματα που δεν μπορεί να μιλήσει κανείς πρέπει να σωπαίνει.»
Λούντβιχ Βίτγκενστάιν

ΦΙΛΟΞΕΝΙΑ

επισκέψεις

Today0
Yes­ter­day5
Week10
Month405
All42040

Cur­rently are one guest and no mem­bers online

© ALL­ROUNDER