Domande taggate «set-theory»

7
Quali teoremi interessanti in TCS si basano sull'assioma della scelta? (O in alternativa, l'assioma della determinazione?)
I matematici a volte si preoccupano dell'Assioma della Scelta (CA) e dell'Assioma della Determinazione (AD). Assioma della scelta : Dato un insieme di insiemi non vuoti, c'è una funzione che, dato un insieme in , restituisce un membro di . f S C SCC{\cal C}fffSSSCC{\cal C}SSS Assioma della determinazione : …
5
Risultati in CS teorico indipendente da ZFC
Farò una domanda piuttosto vaga, dal momento che il confine tra informatica teorica e matematica non è sempre facile da distinguere. DOMANDA: Sei a conoscenza di qualche risultato interessante in CS che è indipendente da ZFC (cioè teoria dell'insieme standard), o che è stato originariamente dimostrato in ZFC (+ qualche …
3
Applicazioni per la teoria degli insiemi, la teoria ordinale, la combinatoria infinita e la topologia generale in informatica?
Sono un matematico interessato alla teoria degli insiemi, alla teoria ordinale, alla combinatoria infinita e alla topologia generale. Ci sono applicazioni per queste materie nell'informatica? Ho guardato un po 'e ho trovato molte applicazioni (ovviamente) per la teoria dei grafi finiti, la topologia finita, la topologia a bassa dimensione, la …
1
Teorema di Cantor nella teoria dei tipi
Il teorema di Cantor afferma che Per ogni set A, l'insieme di tutti i sottoinsiemi di A ha una cardinalità strettamente maggiore di A stesso. È possibile codificare qualcosa del genere usando solo tipi / proposizioni senza fare riferimento ai set ZFC? Si apprezzerebbe il codice o lo pseudocodice per …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.