Contribucions de l'usuari Columbensis
Aparença
Pertanyents a Columbensis discussió registre de blocatges càrregues registres global block log comptes globals registre d'abusos
A user with 47 edits. Compte creat el 16 des 2012.
21 des 2012
- 14:1814:18, 21 des 2012 dif. hist. +116 m Lògica matemàtica Cap resum de modificació
- 02:0402:04, 21 des 2012 dif. hist. −9 m Lògica de primer ordre →Generalitzacions
- 02:0302:03, 21 des 2012 dif. hist. +30 m Lògica de primer ordre →Generalitzacions
- 02:0202:02, 21 des 2012 dif. hist. +4 m Lògica de primer ordre →Generalitzacions
- 02:0202:02, 21 des 2012 dif. hist. +837 Lògica de primer ordre →Poder expressiu
- 01:3501:35, 21 des 2012 dif. hist. +1 m Llengües romàniques →Llengües gal·loromàniques
- 01:3501:35, 21 des 2012 dif. hist. +19 m Llengües romàniques →Orientals
- 01:3401:34, 21 des 2012 dif. hist. −32 Llengües romàniques →Occidentals
- 01:3201:32, 21 des 2012 dif. hist. +21 m Llengües romàniques →Classificació de les llengües romàniques
- 01:3001:30, 21 des 2012 dif. hist. +1.392 Llengües romàniques →Classificació de les llengües romàniques
- 01:2101:21, 21 des 2012 dif. hist. −3 Llengües romàniques →Llengües gal·loromàniques
- 01:2001:20, 21 des 2012 dif. hist. +127 m Llengües romàniques →Orientals: la división entre occidental i oriental no està ben fonamentada en qualsevol cas les llengües del nord d'Italia no son orientals
- 01:1401:14, 21 des 2012 dif. hist. +5 m Llengües romàniques Cap resum de modificació
- 01:1201:12, 21 des 2012 dif. hist. +176 m Llengües itàliques Cap resum de modificació
- 01:0901:09, 21 des 2012 dif. hist. +16 m Llengües itàliques Cap resum de modificació
20 des 2012
- 01:5801:58, 20 des 2012 dif. hist. +2.162 N Gerhard Gentzen Pàgina nova, amb el contingut: «thumb|Gerhard Gentzen. En '''Gerhard Gentzen''' (24 de novembre de 1909 – 4 d'agost de 1945) fou un matemàti...».
- 01:4801:48, 20 des 2012 dif. hist. 0 m Teoria de la demostració →El Hauptsatz de Gentzen
- 01:4801:48, 20 des 2012 dif. hist. +98 m Teoria de la demostració →El Hauptsatz de Gentzen
- 01:4601:46, 20 des 2012 dif. hist. −1 m Teoria de la demostració →El Hauptsatz de Grentzen
- 01:4501:45, 20 des 2012 dif. hist. 0 m Teoria de la demostració →El Hauptsatz' de Grentzen
- 01:4501:45, 20 des 2012 dif. hist. −1 m Teoria de la demostració →El programa de Hilbert
- 01:4401:44, 20 des 2012 dif. hist. +48 Teoria de la demostració →El programa de Hilbert
- 01:4201:42, 20 des 2012 dif. hist. +46 Teoria de la demostració →El pograma de Hilbert
- 01:4001:40, 20 des 2012 dif. hist. +1.362 Teoria de la demostració →El pograma de Hilbert
- 01:3401:34, 20 des 2012 dif. hist. +825 Teoria de la demostració →Demostracions formals
- 01:2901:29, 20 des 2012 dif. hist. +4.772 N Teoria de la demostració Pàgina nova, amb el contingut: «La '''teoria de la demostració''' es una branca de la lògica matemàtica que tracta amb la estructura de les demostracions matemàtiques i la potència ...».
- 00:5700:57, 20 des 2012 dif. hist. +7 m Fonaments de la matemàtica Cap resum de modificació
- 00:4100:41, 20 des 2012 dif. hist. +67 Lògica de segon ordre →Introducció
- 00:3400:34, 20 des 2012 dif. hist. +281 Lògica de segon ordre →Introducció
- 00:2900:29, 20 des 2012 dif. hist. +6 m Lògica de segon ordre →Introducció
- 00:2900:29, 20 des 2012 dif. hist. +1 m Lògica de segon ordre →Introducció
- 00:2400:24, 20 des 2012 dif. hist. +1 m Lògica de segon ordre Cap resum de modificació
- 00:2300:23, 20 des 2012 dif. hist. +114 Lògica de segon ordre Cap resum de modificació
- 00:2000:20, 20 des 2012 dif. hist. +2 m Lògica de segon ordre →Referències
- 00:2000:20, 20 des 2012 dif. hist. +69 m Lògica de segon ordre →Introducció
17 des 2012
- 01:5201:52, 17 des 2012 dif. hist. +193 m Paradoxa de Skolem Cap resum de modificació
- 01:4801:48, 17 des 2012 dif. hist. +734 Paradoxa de Skolem Cap resum de modificació
- 01:4201:42, 17 des 2012 dif. hist. +578 N Paradoxa de Skolem Pàgina nova, amb el contingut: «La '''paradoxa d'Skolem''' és una paradoxa que apareix a teoria de conjunts i lògica com a conseqüència paradoxal del teorema de Löwenheim-Skolem...».
- 01:3201:32, 17 des 2012 dif. hist. +2.432 m Lògica de segon ordre Cap resum de modificació
- 01:1901:19, 17 des 2012 dif. hist. +150 Usuari Discussió:CarlesMartin Nova secció →Benvinguda
- 00:2300:23, 17 des 2012 dif. hist. +1 m Axiomes de Peano Cap resum de modificació
16 des 2012
- 22:2422:24, 16 des 2012 dif. hist. +106 Viquiprojecte:Conceptes matemàtics →Llista de participants en el projecte
- 22:2222:22, 16 des 2012 dif. hist. +43 Usuari:Columbensis Cap resum de modificació darrera
- 22:2122:21, 16 des 2012 dif. hist. +82 N Usuari:Columbensis Pàgina nova, amb el contingut: «Lògica matemàtica, teoria de conjunts i fonamentació de les ciències bàsiques».
- 22:2022:20, 16 des 2012 dif. hist. +30 N Aritmètica de Peano Redirecció a Axiomes de Peano darrera
- 22:1922:19, 16 des 2012 dif. hist. 0 m Lògica de segon ordre Cap resum de modificació
- 22:1922:19, 16 des 2012 dif. hist. +2.532 Lògica de segon ordre Cap resum de modificació