Contribucions de l'usuari Columbensis

21 des 2012

• 13:1813:18, 21 des 2012 dif. hist. +116 m Lògica matemàtica Cap resum de modificació
• 01:0401:04, 21 des 2012 dif. hist. −9 m Lògica de primer ordre →Generalitzacions
• 01:0301:03, 21 des 2012 dif. hist. +30 m Lògica de primer ordre →Generalitzacions
• 01:0201:02, 21 des 2012 dif. hist. +4 m Lògica de primer ordre →Generalitzacions
• 01:0201:02, 21 des 2012 dif. hist. +837 Lògica de primer ordre →Poder expressiu
• 00:3500:35, 21 des 2012 dif. hist. +1 m Llengües romàniques →Llengües gal·loromàniques
• 00:3500:35, 21 des 2012 dif. hist. +19 m Llengües romàniques →Orientals
• 00:3400:34, 21 des 2012 dif. hist. −32 Llengües romàniques →Occidentals
• 00:3200:32, 21 des 2012 dif. hist. +21 m Llengües romàniques →Classificació de les llengües romàniques
• 00:3000:30, 21 des 2012 dif. hist. +1.392 Llengües romàniques →Classificació de les llengües romàniques
• 00:2100:21, 21 des 2012 dif. hist. −3 Llengües romàniques →Llengües gal·loromàniques
• 00:2000: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
• 00:1400:14, 21 des 2012 dif. hist. +5 m Llengües romàniques Cap resum de modificació
• 00:1200:12, 21 des 2012 dif. hist. +176 m Llengües itàliques Cap resum de modificació
• 00:0900:09, 21 des 2012 dif. hist. +16 m Llengües itàliques Cap resum de modificació

20 des 2012

• 00:5800: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...».
• 00:4800:48, 20 des 2012 dif. hist. 0 m Teoria de la demostració →El Hauptsatz de Gentzen
• 00:4800:48, 20 des 2012 dif. hist. +98 m Teoria de la demostració →El Hauptsatz de Gentzen
• 00:4600:46, 20 des 2012 dif. hist. −1 m Teoria de la demostració →El Hauptsatz de Grentzen
• 00:4500:45, 20 des 2012 dif. hist. 0 m Teoria de la demostració →El Hauptsatz' de Grentzen
• 00:4500:45, 20 des 2012 dif. hist. −1 m Teoria de la demostració →El programa de Hilbert
• 00:4400:44, 20 des 2012 dif. hist. +48 Teoria de la demostració →El programa de Hilbert
• 00:4200:42, 20 des 2012 dif. hist. +46 Teoria de la demostració →El pograma de Hilbert
• 00:4000:40, 20 des 2012 dif. hist. +1.362 Teoria de la demostració →El pograma de Hilbert
• 00:3400:34, 20 des 2012 dif. hist. +825 Teoria de la demostració →Demostracions formals
• 00:2900: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 ...».

19 des 2012

• 23:5723:57, 19 des 2012 dif. hist. +7 m Fonaments de la matemàtica Cap resum de modificació
• 23:4123:41, 19 des 2012 dif. hist. +67 Lògica de segon ordre →Introducció
• 23:3423:34, 19 des 2012 dif. hist. +281 Lògica de segon ordre →Introducció
• 23:2923:29, 19 des 2012 dif. hist. +6 m Lògica de segon ordre →Introducció
• 23:2923:29, 19 des 2012 dif. hist. +1 m Lògica de segon ordre →Introducció
• 23:2423:24, 19 des 2012 dif. hist. +1 m Lògica de segon ordre Cap resum de modificació
• 23:2323:23, 19 des 2012 dif. hist. +114 Lògica de segon ordre Cap resum de modificació
• 23:2023:20, 19 des 2012 dif. hist. +2 m Lògica de segon ordre →Referències
• 23:2023:20, 19 des 2012 dif. hist. +69 m Lògica de segon ordre →Introducció

17 des 2012

• 00:5200:52, 17 des 2012 dif. hist. +193 m Paradoxa de Skolem Cap resum de modificació
• 00:4800:48, 17 des 2012 dif. hist. +734 Paradoxa de Skolem Cap resum de modificació
• 00:4200: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...».
• 00:3200:32, 17 des 2012 dif. hist. +2.432 m Lògica de segon ordre Cap resum de modificació
• 00:1900:19, 17 des 2012 dif. hist. +150 Usuari Discussió:CarlesMartin Nova secció →Benvinguda

16 des 2012

• 23:2323:23, 16 des 2012 dif. hist. +1 m Axiomes de Peano Cap resum de modificació
• 21:2421:24, 16 des 2012 dif. hist. +106 Viquiprojecte:Conceptes matemàtics →Llista de participants en el projecte
• 21:2221:22, 16 des 2012 dif. hist. +43 Usuari:Columbensis Cap resum de modificació darrera
• 21:2121: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».
• 21:2021:20, 16 des 2012 dif. hist. +30 N Aritmètica de Peano Redirecció a Axiomes de Peano darrera
• 21:1921:19, 16 des 2012 dif. hist. 0 m Lògica de segon ordre Cap resum de modificació
• 21:1921:19, 16 des 2012 dif. hist. +2.532 Lògica de segon ordre Cap resum de modificació