«set-theory» etiketlenmiş sorular

Matematikçiler bazen Seçim Aksiyomu (AC) ve Belirlilik Aksiyomu (AD) hakkında endişe duyuyorlar. Seçme aksiyomu : Herhangi koleksiyon Verilen boş olmayan kümeler, orada bir fonksiyondur f kümesi verilen bu S içinde C , bir üyesini döndürür S .CC{\cal C}fffSSSCC{\cal C}SSS Belirsizlik Aksiyomu : , sonsuz uzun bit dizeleri kümesi olsun . …

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

Teorik bilgisayar bilimi ve matematik arasındaki sınır çizgisini ayırt etmek her zaman kolay olmadığından oldukça belirsiz bir soru soracağım. SORU: CS'de ZFC'den bağımsız (yani standart küme teorisi) ya da ZFC'de (+ bazı diğer aksiyomlarda) kanıtlanmış ve daha sonra ZFC alorinde kanıtlanmış herhangi bir ilginç sonucun farkında mısınız? Soruyorum çünkü doktora …

37 reference-request  lo.logic  set-theory 

Ben set teorisi, ordinal teori, sonsuz kombinatorik ve genel topoloji ile ilgilenen bir matematikçiyim. Bu konuda bilgisayar bilimlerinde uygulama var mı? Biraz baktım ve sonlu grafik teorisi, sonlu topoloji, düşük boyutlu topoloji, geometrik topoloji vb. İçin birçok uygulama buldum. Ancak, bu konuların sonsuz nesnelerinin, yani sonsuz ağaçların ( örneğin Aronszajn …

15 set-theory  topology  topological-graph-theory 

Genelde Baker-Gill-Solovay ve Cohen tarafından kullanılan zorlama yöntemiyle ilgileniyorum. Tekniğin kendisi ya da kullanımı konusunda elimden gelebilecek kadar çok kaynak arıyorum. Önerisi olan var mı?

15 cc.complexity-theory  set-theory 

Ayçiçeği sistemi ve bilgisayar bilimlerindeki uygulamaları ile ilgileniyorum. Bir Evren Verilen ve koleksiyonu k kümelerini bir i bir denir k-ayçiçeği sistemi eğer bir i ∩ A j = Y herkes için i ≠ j . Ve Y çekirdek olarak adlandırılır ve A i - Y taç yaprakları olarak adlandırılır. UUUkkkbirbenbirbenA_ibirben∩ …

11 co.combinatorics  set-theory 

Anladığım kadarıyla, bilgisayar bilimlerinde veri türleri, Russell'ın paradoksu gibi şeyler nedeniyle küme teorisine dayanmaz, ancak gerçek dünya programlama dillerinde olduğu gibi, "kendini içermeyen küme" gibi karmaşık veri türlerini ifade edemeyiz, uygulama türünün, örnek üyeliğinin bu tür / kümeye özgü özellik sayısıyla (belirli özelliklerin, yöntemlerin varlığı) tanımlandığı sonsuz bir üye kümesi …

11 type-theory  set-theory  type-systems 

Cantor teoremi şöyle diyor: Herhangi bir A kümesi için, A'nın tüm alt kümelerinin kümesi A'nın kendisinden kesinlikle daha büyük bir kardinaliteye sahiptir. ZFC setlerine başvurmadan sadece türleri / önerileri kullanarak böyle bir şeyi kodlamak mümkün mü? Bu teklifi bağımlı olarak yazılan bir dilde kodlamak için kod veya sözde kod takdir …

9 type-theory  set-theory 

Bu, matematik SE forumunda sorduğum bir soru ve burada yönlendirildim. İşte soru- Hem resmi matematikte hem de teorik bilgisayar bilimlerinde yeniyim, bu yüzden sorumun doğru çerçevelenmediğini fark ederseniz lütfen yanımda olun. Nesneye Dayalı Modelleme, gerçek dünyayı simüle ederken karmaşık etkileşimlerin tanımlanmasında çok yararlı görünmektedir. Ancak daha çok programlamada kullanılır. Matematikte …

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