Aritmetikigo de analitiko

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo

La aritmetikigo de analitiko estis esplora programo en la fundamentoj de matematiko okazinta en la dua duono de la 19-a jarcento. Ĝia ĉefa proponanto estis Karl Weierstrass, kiu argumentis ke la geometriaj fundamentoj de infinitezima kalkulo estas ne sufiĉaj por rigora laboro.

La emfazoj de ĉi tiu esplori programo estis:

Grava rezulto de la aritmetikigo de analitiko estas aroteorio. Naiva aroteorio estis kreita de Georg Cantor kaj aliaj kaj post aritmetikigo estis plenumita kiel maniero por studi la specialaĵojn de funkcioj aperantaj en kalkulo.

La aritmetikigo de analitiko havis kelkajn gravajn konsekvencojn:

Kurzoj:

  • Dio kreis la naturaj nombroj, ĉio la alia estas la laboro de homoj." (Leopold Kronecker)