Pertanyaan yang diberi tag «model-theory»

Apakah ada teorema umum yang akan menyatakan, dengan sanitasi yang tepat, bahwa hasil yang paling diketahui mengenai penggunaan bilangan real sebenarnya dapat digunakan ketika mempertimbangkan hanya real yang dapat dihitung? Atau adakah karakterisasi hasil yang tepat yang tetap valid ketika hanya mempertimbangkan real yang dapat dihitung? Pertanyaan sampingannya adalah apakah …

16 computability  computing-over-reals  topology  model-theory 

Untuk sistem tanpa tipe dependen, seperti sistem tipe Hindley-Milner, tipe tersebut sesuai dengan rumus logika intuitionistic. Di sana kita tahu bahwa modelnya adalah aljabar Heyting, dan khususnya, untuk menyangkal rumus, kita dapat membatasi pada satu aljabar Heyting di mana setiap rumus diwakili oleh subset terbuka dari .RR\mathbb{R} Misalnya, jika kami …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions 

Ketika dugaan atau P ≠ N P diatur (misalnya oleh Clay Mathematical Institute oleh S. Cook, lihat di sini ) sistem aksiomatik matematika apa yang diasumsikan?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Untuk membuktikan atau menyangkal pernyataan seperti itu, Anda perlu mengasumsikan beberapa aksioma. Yang mana Hanya aritmetika Peano (bahasa formal orde …

8 cc.complexity-theory  model-theory 

Meskipun L.Berman membuktikan bahwa masalah memverifikasi atau memalsukan pernyataan urutan pertama tentang bilangan real yang menggunakan penambahan dan perbandingan tetapi tidak multiplikasi ada di EXPSPACE. Apakah sudah diperlihatkan berapa banyak waktu atau ruang yang akan Anda perlukan untuk memverifikasi atau memalsukan pernyataan orde pertama tentang bilangan real yang menggunakan perbandingan …

8 cc.complexity-theory  lo.logic  model-theory