Ταχύτερη από τον browser!
16 συγγένειες: Κουρτ Γκέντελ, Παράμετρος (υπολογιστές), Σύνολο (μαθηματικά), Θεωρία συνόλων, Αξίωμα της Οικοδομησιμότητας, Αξίωμα της ένωσης, Αξίωμα της ζεύξης, Αξίωμα της κανονικότητας, Αξίωμα της επιλογής, Αξίωμα της επεκτασιμότητας, Αξίωμα του απείρου, Αξίωμα του δυναμοσυνόλου, Αξίωμα του κενού συνόλου, Αξιωματικό σχήμα της αντικατάστασης, Αξιωματικό σχήμα του διαχωρισμού, Δυναμοσύνολο.
Κουρτ Γκέντελ
Ο Κουρτ Γκέντελ (γερμ.: Kurt Friedrich Gödel, 28 Απριλίου1906 – 14 Ιανουαρίου1978) ήταν Αυστρο-Αμερικανός επιστήμονας της λογικής, μαθηματικός και φιλόσοφος, ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών.
Νέος!!: Οικοδομήσιμο Σύμπαν και Κουρτ Γκέντελ · Δείτε περισσότερα »
Παράμετρος (υπολογιστές)
Στον προγραμματισμό, καλούμε παράμετρο μια μεταβλητή πουπαίρνει το νόημα ενός αντίστοιχουορίσματος πουπερνάμε σε μια κλήση μιας συνάρτησης/διαδικασίας.
Νέος!!: Οικοδομήσιμο Σύμπαν και Παράμετρος (υπολογιστές) · Δείτε περισσότερα »
Σύνολο (μαθηματικά)
#ΑΝΑΚΑΤΕΥΘΥΝΣΗΘεωρία συνόλων.
Νέος!!: Οικοδομήσιμο Σύμπαν και Σύνολο (μαθηματικά) · Δείτε περισσότερα »
Θεωρία συνόλων
Ένα Διάγραμμα Βεν πουαπεικονίζει την τομή δύο συνόλων Στα μαθηματικά, θεωρία συνόλων ή συνολοθεωρία είναι η θεωρία πουμελετάει τα σύνολα και είναι κλάδος της Μαθηματικής Λογικής.
Νέος!!: Οικοδομήσιμο Σύμπαν και Θεωρία συνόλων · Δείτε περισσότερα »
Αξίωμα της Οικοδομησιμότητας
Το αξίωμα κατασκευασιμότητας είναι μια δήλωση στη θεωρία συνόλων πουχρονολογείται από τον Κουρτ Γκέντελ και αποτελεί μια πιθανή επέκταση της θεωρίας συνόλων Ζερμέλο-Φράνκελ ZFC.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξίωμα της Οικοδομησιμότητας · Δείτε περισσότερα »
Αξίωμα της ένωσης
Στην αξιωματική θεωρία συνόλων, το αξίωμα της ένωσης είναι ένα από τα αξιώματα της θεωρίας συνόλων Ζερμέλο-Φράνκελ.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξίωμα της ένωσης · Δείτε περισσότερα »
Αξίωμα της ζεύξης
Στην αξιωματική θεωρία συνόλων και στους κλάδους της λογικής, των μαθηματικών και της επιστήμης των υπολογιστών πουτη χρησιμοποιούν, το αξίωμα της ζεύξης είναι ένα από τα αξιώματα της θεωρίας συνόλων Ζερμέλο-Φράνκελ.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξίωμα της ζεύξης · Δείτε περισσότερα »
Αξίωμα της κανονικότητας
Το αξίωμα κανονικότητας είναι ένα αξίωμα της θεωρίας συνόλων του1925 από τον Τζον φον Νόιμαν (John von Neumann),John von Neumann: An Axiomatization of Set Theory.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξίωμα της κανονικότητας · Δείτε περισσότερα »
Αξίωμα της επιλογής
Στα μαθηματικά, το αξίωμα της επιλογής ή ΑC είναι ένα αξίωμα της θεωρίας συνόλων πουισοδυναμεί με την δήλωση ότι "το καρτεσιανό γινόμενο μιας συλλογής μη κενών συνόλων είναι μη κενό".
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξίωμα της επιλογής · Δείτε περισσότερα »
Αξίωμα της επεκτασιμότητας
Στην αξιωματική θεωρία συνόλων και στους κλάδους της λογικής, των μαθηματικών και της επιστήμης των υπολογιστών πουτη χρησιμοποιούν, το αξίωμα επεκτασιμότητας ή αξίωμα επέκτασης είναι ένα από τα αξιώματα της θεωρίας συνόλων Ζερμέλο-Φράνκελ.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξίωμα της επεκτασιμότητας · Δείτε περισσότερα »
Αξίωμα του απείρου
Στην αξιωματική θεωρία συνόλων και στους κλάδους των μαθηματικών και της φιλοσοφίας πουτη χρησιμοποιούν, το αξίωμα τουαπείρουείναι ένα από τα αξιώματα της θεωρίας συνόλων Ζερμέλο-Φρένκελ.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξίωμα του απείρου · Δείτε περισσότερα »
Αξίωμα του δυναμοσυνόλου
Στα μαθηματικά, το Αξίωμα τουδυναμοσυνόλουείναι ένα από τα αξιώματα Ζερμέλο-Φρένκελ της αξιωματικής θεωρίας συνόλων.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξίωμα του δυναμοσυνόλου · Δείτε περισσότερα »
Αξίωμα του κενού συνόλου
Στην αξιωματική θεωρία συνόλων, το αξίωμα τουκενού συνόλουείναι μια πρόταση πουισχυρίζεται την ύπαρξη ενός συνόλουχωρίς στοιχεία.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξίωμα του κενού συνόλου · Δείτε περισσότερα »
Αξιωματικό σχήμα της αντικατάστασης
Στη θεωρία συνόλων, το αξιωματικό σχήμα της αντικατάστασης είναι ένα σχήμα αξιωμάτων στα πλαίσια της θεωρίας συνόλων Ζερμέλο-Φράνκελ (ZF) πουυποστηρίζει ότι η εικόνα οποιουδήποτε συνόλουκάτω από οποιαδήποτε ορίσιμη απεικόνιση είναι επίσης ένα σύνολο.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξιωματικό σχήμα της αντικατάστασης · Δείτε περισσότερα »
Αξιωματικό σχήμα του διαχωρισμού
Σε πολλές διαδεδομένες εκδόσεις της αξιωματικής θεωρίας συνόλων, το Αξιωματικό σχήμα της προδιαγραφής, επίσης γνωστό ως Αξιωματικό σχήμα τουδιαχωρισμού, αξιωματικό σχήμα των υποσυνόλων ή αξιωματικό σχήμα της περιορισμένης κατανόησης, είναι ένα αξιωματικό σχήμα πουδηλώνει ότι κάθε ορίσιμη υποκατηγορία ενός συνόλουείναι σύνολο.
Νέος!!: Οικοδομήσιμο Σύμπαν και Αξιωματικό σχήμα του διαχωρισμού · Δείτε περισσότερα »
Δυναμοσύνολο
Στα μαθηματικά, το δυναμοσύνολο ενός συνόλουX είναι το σύνολο όλων των υποσυνόλων του.
Νέος!!: Οικοδομήσιμο Σύμπαν και Δυναμοσύνολο · Δείτε περισσότερα »
