Pertanyaan yang diberi tag «set-theory»

Matematikawan terkadang khawatir tentang Aksioma Pilihan (AC) dan Aksioma Penentuan (AD). Aksioma of Choice : Mengingat setiap koleksi dari set tidak kosong, ada fungsi f yang, diberikan satu set S di C , mengembalikan anggota dari S .CC{\cal C}fffSSSCC{\cal C}SSS Aksioma Penentuan : Biarkan menjadi seperangkat string bit panjang tak …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

Saya akan mengajukan pertanyaan yang cukup samar, karena batas antara ilmu komputer teoretis dan matematika tidak selalu mudah dibedakan. PERTANYAAN: Apakah Anda mengetahui adanya hasil menarik dalam CS yang tidak tergantung pada ZFC (yaitu teori himpunan standar), atau yang awalnya terbukti dalam ZFC (+ beberapa aksioma lainnya) dan baru kemudian …

37 reference-request  lo.logic  set-theory 

Saya seorang ahli matematika yang tertarik pada teori himpunan, teori ordinal, kombinatorik tak terbatas dan topologi umum. Apakah ada aplikasi untuk mata pelajaran ini dalam ilmu komputer? Saya telah melihat sedikit, dan menemukan banyak aplikasi (tentu saja) untuk teori graf hingga, topologi terbatas, topologi dimensi rendah, topologi geometris dll. Namun, …

15 set-theory  topology  topological-graph-theory 

Saya umumnya tertarik pada metode pemaksaan yang digunakan oleh Baker-Gill-Solovay dan Cohen. Saya mencari banyak sumber yang bisa saya dapatkan mengenai teknik itu sendiri atau penggunaannya. Adakah yang punya saran?

15 cc.complexity-theory  set-theory 

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 …

11 co.combinatorics  set-theory 

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", dapatkah kita katakanlah bahwa dalam tipe praktik adalah himpunan …

11 type-theory  set-theory  type-systems 

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 menyandikan proposisi ini dalam bahasa yang diketik …

9 type-theory  set-theory 

Ini adalah pertanyaan yang saya ajukan di forum SE matematika, dan saya dirujuk di sini. Jadi di sini adalah pertanyaan- Saya seorang pemula di kedua matematika formal dan ilmu komputer teoretis, jadi silakan bersamaku jika Anda menemukan pertanyaan saya tidak dibingkai dengan benar. Pemodelan Berorientasi Objek tampaknya sangat berguna dalam …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

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) - dan dari mereka, turunan dari …

9 lo.logic  type-theory  type-systems  set-theory