Pertanyaan yang diberi tag set-theory

11
Ketik sistem berdasarkan teori himpunan naif

Seperti yang saya mengerti, dalam ilmu komputer tipe data tidak didasarkan pada teori himpunan karena hal-hal seperti paradoks Russell, tetapi seperti dalam bahasa pemrograman dunia nyata kita tidak dapat mengekspresikan tipe data yang kompleks seperti "set yang tidak mengandung dirinya sendiri",...

11
Keadaan seni untuk sistem bunga matahari

Saya menarik dalam sistem bunga matahari dan aplikasinya dalam ilmu komputer. Diberikan Universe dan koleksi set disebut sistem k-sunflower jika untuk semua . Dan disebut sebagai inti dan disebut kelopak. k A i A i ∩ A j = Y i ≠ j Y A i - YUUUkkkAiAiA_iAi∩Aj=YAi∩Aj=YA_i \cap A_j = Y i≠ji≠ji \neq...

9
Jenis universal dan eksistensial

Saya mencoba menyelubungi konsep-konsep tipe universal dan eksistensial tetapi di mana pun saya melihat, saya melihat intuisi logis atau operasional (atau implementasi) (misalnya buku TAPL oleh B. Pierce), yang, yah ... bagus , tapi saya ingin melihat definisi (di mana kita melihatnya sebagai set)...

9
Teorema Cantor dalam teori tipe

Teorema Cantor menyatakan itu Untuk setiap himpunan A, himpunan semua himpunan bagian A memiliki kardinalitas yang lebih besar dari A itu sendiri. Apakah mungkin untuk menyandikan sesuatu seperti ini hanya menggunakan jenis / proposisi tanpa merujuk ke set ZFC? Kode atau pseudocode untuk...