Estrukturalismotik funtzionalismora matematikaren barne oinarrietan

  1. EZENARRO ARRIOLA, ENETZ
Dirigée par:
  1. Jesús María Larrazabal Antía Directeur/trice

Université de défendre: Universidad del País Vasco - Euskal Herriko Unibertsitatea

Fecha de defensa: 21 juin 2013

Jury:
  1. Francisco Javier Duoandikoetxea Zuazo President
  2. Ander Murua Uria Secrétaire
  3. David Lannes Rapporteur
  4. Francisco Javier Abrisqueta Usaola Rapporteur
  5. Ángel Marín Martínez Rapporteur

Type: Thèses

Teseo: 116183 DIALNET

Résumé

Gödelen ez-osotasun teoremen ondotik matematikaren ¿segurtasuna¿-ri buruzkokuestioak negatiboki itxita, barne oinarriei buruz ari garelarik,matematikaren antolaketa eta hierarkizazio kontzeptual posibleak ditugugogoan. Lehen kapituluan historian izandako ¿kanpo oinarritze¿ ahalegineierrepaso bat eman ostean, matematikaren berrantolaketa eta argitze prozesubatzuk ekarri ditugu gogora. Barne oinarritzearen hariari jarraituz,bigarren kapituluan, lehenik estruktura kontzeptuaren sorrera aztertu duguGaloisen lanetan. Galoisen estruktura algebraikoek, multzo teoria eta metodoaxiomatikoaren garapenarekin, algebra estrukturalerako bidea zabalduko dute.Matematikaren barne oinarrietan estrukturalismoak Bourbakiren ahaleginarekingoia jotzen duela ikusi dugu. Azken kapituluan Bourbakiren eraikuntzamatematikoari alternatiba posible bat eskaintzen ahalegindu gara. KleinenErlangen Programa eta Topologia Algebraikoaren adibideak aztertuta,estrukturalismo kategoriala analizatu ostean, matematikaren antolaketa etabatasunerako funtzioek (kontzeptu orokor bezala ulertuta) duten garrantizaerakutsi nahi izan dugu. Matematika osatzen duten esparru estrukturatuenarteko informazio fluxua bideratzen duten erlazio funktorialetan aurkituliteke, izatekotan ere, gaurko matematikaren batasuna, globalki ez bada ereMatematika esparru desberdinen arteko ¿grafo¿ funktorial ebolutibo batbezala uler daitekeela diogu. Hori da funtzionalismo estrukturalista.