Logica matematica, teoria degli insiemi, algebre di Boole e di Heyting ...
Moderatore: Moderatori
-
-
Teoria
Domande di teoria, mini-dispense degli utenti, richieste di riferimenti ad articoli, ...
- 10 Argomenti
- 54 Messaggi
-
Ultimo messaggio di salvo.tringali
il sab 26 giu 2010, 11:26
-
- Teorema di rappresentazione di Stone




di pic il lun 8 feb 2010, 13:22
- 18 Risposte
- 561 Visite
- Ultimo messaggio di killing_buddha
il ven 20 ago 2010, 11:32
-
- Cardinalità di un insieme di successioni




di Mondo il mar 8 lug 2008, 17:30
- 12 Risposte
- 1416 Visite
- Ultimo messaggio di ineff
il gio 12 ago 2010, 21:17
-
- Intersezione (Categorie)




di Lord K il mar 15 giu 2010, 12:52
- 14 Risposte
- 345 Visite
- Ultimo messaggio di killing_buddha
il dom 25 lug 2010, 0:29
-
- Non contraddizione e terzo escluso




di qoelet il mar 6 lug 2010, 15:27
- 7 Risposte
- 164 Visite
- Ultimo messaggio di qoelet
il mer 7 lug 2010, 12:32
-
- Sezioni e retrazioni alias inverse dx e sx di una funzione




di Ani-sama il dom 18 ott 2009, 14:53
- 6 Risposte
- 557 Visite
- Ultimo messaggio di Lord K
il mar 15 giu 2010, 15:50
-
- Ordinali - Calcolare




di lorereds il lun 14 set 2009, 12:25
- 10 Risposte
- 393 Visite
- Ultimo messaggio di salvo.tringali
il mar 15 giu 2010, 0:33
-
- Ideali massimali di un anello e assioma di scelta




di ineff il gio 22 apr 2010, 21:29
- 21 Risposte
- 562 Visite
- Ultimo messaggio di ineff
il gio 3 giu 2010, 16:21
-
- Sul gruppo simmetrico di un insieme infinito




di killing_buddha il mar 1 giu 2010, 11:34
- 2 Risposte
- 124 Visite
- Ultimo messaggio di Feanor
il mar 1 giu 2010, 15:02
-
- Ordinali - L'equazione




di lorereds il lun 14 set 2009, 12:25
- 2 Risposte
- 572 Visite
- Ultimo messaggio di Lord K
il gio 6 mag 2010, 17:13
-
- Non esiste il libero arbitrio




di paolo il ven 19 feb 2010, 16:19
- 3 Risposte
- 382 Visite
- Ultimo messaggio di Julio14
il mar 20 apr 2010, 1:40
-
- Famiglia quasi disgiunta su insieme numerabile




di untore il mer 25 feb 2009, 22:00
- 6 Risposte
- 745 Visite
- Ultimo messaggio di Carlein
il ven 9 apr 2010, 9:03
-
denso numerabile e biezione che tiene l'ordine con




di pic il sab 19 lug 2008, 11:53
- 22 Risposte
- 1095 Visite
- Ultimo messaggio di Lord K
il gio 8 apr 2010, 14:46
-
- Achille raggiunto dalla Tartaruga




di fields il sab 30 ago 2008, 11:31
- 10 Risposte
- 797 Visite
- Ultimo messaggio di fields
il ven 12 mar 2010, 16:52
-
- Ogni insieme non vuoto è il supporto di un gruppo




di pic il dom 3 gen 2010, 1:06
- 3 Risposte
- 300 Visite
- Ultimo messaggio di alberto santini
il lun 15 feb 2010, 1:19
-
, se
è un cardinale limite




di Anemone il sab 13 feb 2010, 12:51
- 1 Risposte
- 197 Visite
- Ultimo messaggio di alberto santini
il dom 14 feb 2010, 0:05
-
- Quante
t.c.
,
e




di Anemone il sab 16 gen 2010, 19:31
- 1 Risposte
- 177 Visite
- Ultimo messaggio di salvo.tringali
il sab 16 gen 2010, 23:32
-
- Quesito gödeliano: una macchina che dice solo la verità




di Gebegb il mer 8 lug 2009, 17:51
- 3 Risposte
- 603 Visite
- Ultimo messaggio di Durden
il sab 14 nov 2009, 23:12
-
- Cardinalità dell'insieme degli insiemi ben ordinati di R




di lorereds il gio 10 set 2009, 18:54
- 5 Risposte
- 563 Visite
- Ultimo messaggio di pic
il mer 4 nov 2009, 0:05
-
- Ogni sottoinsieme ben ordinato di
è al più numerabile




di untore il mar 14 apr 2009, 0:18
- 3 Risposte
- 740 Visite
- Ultimo messaggio di salvo.tringali
il mer 21 ott 2009, 18:31
-
- Geometria finita di incidenza con Playfair




di Feanor il sab 11 lug 2009, 1:49
- 2 Risposte
- 503 Visite
- Ultimo messaggio di Feanor
il sab 1 ago 2009, 16:27
-
- Ogni ordinale
è isomorfo a qualche




di untore il mar 14 apr 2009, 0:18
- 6 Risposte
- 162 Visite
- Ultimo messaggio di untore
il ven 10 lug 2009, 14:50
-
- Senza induzione, i numeri non sono necessariamente o pari o dispari




di MindFlyer il dom 5 ott 2008, 16:44
- 1 Risposte
- 667 Visite
- Ultimo messaggio di Gebegb
il dom 5 lug 2009, 11:26
-
- Cardinalità delle funzioni Riemann integrabili




di The Vex il sab 20 set 2008, 15:08
- 2 Risposte
- 794 Visite
- Ultimo messaggio di The Vex
il mer 13 mag 2009, 14:29
-
- Cardinalità dell'insieme delle bigezioni




di Mondo il lun 15 set 2008, 20:21
- 2 Risposte
- 606 Visite
- Ultimo messaggio di WiseFool
il sab 4 ott 2008, 23:19
Torna a Indice
Visitano il forum: Nessuno e 1 ospite
Permessi forum
Non puoi aprire nuovi argomenti
Non puoi rispondere negli argomenti
Non puoi modificare i tuoi messaggi
Non puoi cancellare i tuoi messaggi
Non puoi inviare allegati