Predicate-recurring Enumerable And Universal Diophantics Equations

Studia Philosophica 1 (2001)
  Copy   BIBTEX

Abstract

Matematica actuală tree printr-o perioadă fastă: asistăm cu melancolie la "căderea" unor probleme mai mult decît tricentenare: ultima teoremă a lui Fermat a fost enunţată în 1637, găsindu-şi rezolvarea abia în iunie 1993, cînd Andrew Wiles, matematician al Universităţii din Princeton, uzează de poşta electronică spre a-şi anunţa prioritatea. Enunţul teoremei, de o mare simplitate , a bulversat lumea matematicii. De fapt, Andrew Wiles a demonstrat mult mai mult, şi anume o conjectură a lui Shimura-Tanyiama-Weyl, despre care se ştia, încă din 1986, că este o generalizare lejeră a ultimei teoreme fermatiene. Kenneth A. Ribet descrie paşii rezolvării teoremei şi corelaţiile ei cu conjecturile geometriei algebrice . Dar mai interesantă ni se pare lista domeniilor matematice angrenate în consistenta demonstraţie a teoremei: curbe eliptice, forme modulare, reprezentări de grupuri Galois, deformări, coomologie cristalină, inele locale – domenii greu de stăpînit de către un singur om, fie el şi matematician rasat!

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the Universal Splitting Property.Rod Downey - 1997 - Mathematical Logic Quarterly 43 (3):311-320.
Effective topological spaces II: A hierarchy.Iraj Kalantari & Galen Weitkamp - 1985 - Annals of Pure and Applied Logic 29 (2):207-224.
Definable structures in the lattice of recursively enumerable sets.E. Herrmann - 1984 - Journal of Symbolic Logic 49 (4):1190-1197.
An Interval of Computably Enumerable Isolating Degrees.Matthew C. Salts - 1999 - Mathematical Logic Quarterly 45 (1):59-72.
On recursive enumerability with finite repetitions.Stephan Wehner - 1999 - Journal of Symbolic Logic 64 (3):927-945.
Geach, Aristotle and Predicate Logics.Alex Orenstein - 2015 - Philosophical Investigations 38 (1-2):96-114.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references