458 matches
-
prim pas în "dezintegrarea" viziunii kantiene asupra matematicii? Totul depinde de felul cum sunt privite aceste geometrii. Putem distinge între două feluri de a ne raporta la ele: ca fiind simple posibilități logice sau ca fiind alternative reale la geometria euclidiană. Să luăm prima variantă. Este ea consistentă cu viziunea kantiană asupra matematicii? Cineva ar putea spune că da. Acesta s-ar putea sprijini în interpretarea sa pe următorul text din Critica rațiunii pure: "nu este nici o contradicție în conceptul unei
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
văzut în secțiunea precedentă că, în viziunea lui Kant, axiomele geometriei sunt sintetice și nu analitice. Dacă ar fi fost analitice, ar fi fost într-adevăr imposibil de găsit alte sisteme geometrice consistente bazate pe negarea unora dintre axiomele geometriei euclidiene. Cum, însă, aceste axiome sunt sintetice, trebuie să acceptăm posibilitatea geometriilor neeuclidiene. Astfel, apariția acestor sisteme nu intră nicidecum în conflict cu filosofia kantiană a matematicii, ci reprezintă chiar o dovadă în favoarea acesteia. Problema cu o astfel de interpretare 22
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
considerare o figură neeuclidiană, ce trebuie să avem în vedere este nu dacă există o contradicție în conceptul acestei figuri, ci dacă poate fi construită în spațiu 25, adică în intuiția pură. Dar acest spațiu este, în viziunea lui Kant, euclidian. Deci nu se pune problema construirii în el a unei figuri neeuclidiene. O astfel de figură nu poate fi nimic mai mult decât o plăsmuire a imaginației. Întreaga discuție de până acum nu are, desigur, alt rol decât cel al
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
faptului că figurile geometriilor neeuclidiene sunt obiecte posibile ale intuiției. Dar rezultatele obținute de Beltrami în legătură cu pseudosfera fac ca astfel de figuri să fie intuitive. Un alt pas important în punerea pe picior de egalitate a geometriilor neeuclidiene cu geometria euclidiană îl face Helmholtz, care argumentează că aceleași proceduri constructive intuitive care ne fac să acceptăm adevărul postulatelor geometriei euclidiene pot să ne convingă, în alte circumstanțe, că lumea este neeuclidiană 26. Poincaré contribuie de asemenea la schimbarea atitudinii față de geometriile
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
astfel de figuri să fie intuitive. Un alt pas important în punerea pe picior de egalitate a geometriilor neeuclidiene cu geometria euclidiană îl face Helmholtz, care argumentează că aceleași proceduri constructive intuitive care ne fac să acceptăm adevărul postulatelor geometriei euclidiene pot să ne convingă, în alte circumstanțe, că lumea este neeuclidiană 26. Poincaré contribuie de asemenea la schimbarea atitudinii față de geometriile neeuclidiene prin teza sa a intertraductibilității geometriei euclidiene și celei lobacevskiene. 1.2.1.2. O nouă fundamentare a
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
proceduri constructive intuitive care ne fac să acceptăm adevărul postulatelor geometriei euclidiene pot să ne convingă, în alte circumstanțe, că lumea este neeuclidiană 26. Poincaré contribuie de asemenea la schimbarea atitudinii față de geometriile neeuclidiene prin teza sa a intertraductibilității geometriei euclidiene și celei lobacevskiene. 1.2.1.2. O nouă fundamentare a geometriei Una dintre cele mai importante consecințe (atât pentru filosofia matematicii, cât și pentru matematica secolului nouăsprezece) ale apariției geometriilor neeuclidiene a fost reexaminarea fundamentelor geometriei euclidiene 27. Această
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
intertraductibilității geometriei euclidiene și celei lobacevskiene. 1.2.1.2. O nouă fundamentare a geometriei Una dintre cele mai importante consecințe (atât pentru filosofia matematicii, cât și pentru matematica secolului nouăsprezece) ale apariției geometriilor neeuclidiene a fost reexaminarea fundamentelor geometriei euclidiene 27. Această reexaminare a avut două rezultate, ambele asociate cu numele marelui matematician David Hilbert: o nouă axiomatizare a geometriei euclidiene și o nouă viziune a supra axiomelor. În secolul nouăsprezece a apărut o cu totul altă atitudine față de axiomele
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
atât pentru filosofia matematicii, cât și pentru matematica secolului nouăsprezece) ale apariției geometriilor neeuclidiene a fost reexaminarea fundamentelor geometriei euclidiene 27. Această reexaminare a avut două rezultate, ambele asociate cu numele marelui matematician David Hilbert: o nouă axiomatizare a geometriei euclidiene și o nouă viziune a supra axiomelor. În secolul nouăsprezece a apărut o cu totul altă atitudine față de axiomele unui sistem matematic. Dacă axiomele lui Euclid puteau fi privite ca fiind adevăruri evidente, în viziunea modernă acestea nu sunt nici
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
exprimat prin afirmația lui Hilbert că "trebuie să putem spune în orice moment în loc de puncte, linii drepte și planuri mese, scaune și halbe de bere"31. Termenii primitivi care apar în aceste axiome nu sunt definiți cum erau în geometria euclidiană, unde găseam definiții precum "un punct este acel ceva care nu are părți". După Hilbert, acești termeni sunt definiți de întregul sistem de axiome, fiecare axiomă contribuind la definiția termenilor care apar în ea. Specificul acestui tip de definiție este
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
p. 533), neputându-se pune, deci, problema existenței unui sistem matematic neinterpretat; la Hilbert structura geometriei este separată cu totul de orice conținut. Am vorbit la începutul acestei secțiuni despre două rezultate pe care l-ea produs reexaminarea fundamentelor geometriei euclidiene. Cel de-al doilea astfel de rezultat constă în găsirea unor fundamente axiomatice riguroase pentru geometria euclidiană și pleacă de la observarea faptului că postulatele lui Euclid sunt insuficiente pentru derivarea pur logică a unora dintre teoremele geometriei sale. Putem lua
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
separată cu totul de orice conținut. Am vorbit la începutul acestei secțiuni despre două rezultate pe care l-ea produs reexaminarea fundamentelor geometriei euclidiene. Cel de-al doilea astfel de rezultat constă în găsirea unor fundamente axiomatice riguroase pentru geometria euclidiană și pleacă de la observarea faptului că postulatele lui Euclid sunt insuficiente pentru derivarea pur logică a unora dintre teoremele geometriei sale. Putem lua drept exemplu demonstrația oricărei teoreme în care se presupune că între două linii sau între două figuri
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
să nu se intersecteze de fapt și astfel punctul care ar trebui să apară la intersecția dintre ele și de care avem nevoie în demonstrațiile teoremelor noastre, să fie inexistent. Astfel, când se demonstrează acest tip de teoreme în sistemul euclidian, se asumă existența unui astfel de punct, iar "această asumpție este bazată pe intuiția geometrică" (Hempel 1945a: 8). Pentru a se evita această problemă, în formularea modernă a geometriei euclidiene, au fost introduse axiome ale continuității 33 și axiome ale
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
Astfel, când se demonstrează acest tip de teoreme în sistemul euclidian, se asumă existența unui astfel de punct, iar "această asumpție este bazată pe intuiția geometrică" (Hempel 1945a: 8). Pentru a se evita această problemă, în formularea modernă a geometriei euclidiene, au fost introduse axiome ale continuității 33 și axiome ale ordinii. Cum în acest sistem nu mai apare problema demonstrării existenței punctului de intersecție, nu mai e nevoie să apelăm la intuiție pentru a demonstra teoremele noastre, la acestea ajungându
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
de filosofie din Erlanger, a ideilor despre geometrie discutate de Klein cu Lie" (Birkhoff și Bennett 1982: 150). Principala sa preocupare era oferirea unei viziuni unificate asupra geometriei 35, care era în acea perioadă împărțită în mai multe sisteme: geometria euclidiană, geometria lui Lobacevski și Bolyai, geometria carteziană, geometria proiectivă etc. Pentru a se ajunge la o astfel de unificare, trebuia să se găsească ceva care să stea la baza ei. Klein identifică acest ceva ca fiind grupurile. Plecând de la această
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
1.2. de mai sus despre faptul că postulatele lui Euclid erau insuficiente pentru o derivare pur logică a unora dintre teoremele geometriei sale și am spus că, pentru a se evita această problemă, în formularea dată de Hilbert geometriei euclidiene, au fost introduse axiome ale continuității și axiome ale ordinii. Ce am omis să spunem în acea secțiune este că, pentru ca o astfel de deducție pur logică să fie posibilă, este nevoie de ceva mai mult decât de introducerea unor
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
a unui proces iterativ idee care joacă un rol esențial într-o teorie a ordinii, deoarece permite deducerea explicită, doar cu ajutorul logicii, a unei infinități de obiecte 43. O astfel de teorie a ordinii, introdusă în formularea modernă a geometriei euclidiene cu ajutorul a patru axiome 44, împreuna cu axiomele continuității, fac posibilă deducerea pur logică a teoremelor din axiome și postulate. 1.2.2. Teoria relativității generale Am vorbit până acum despre schimbările care au avut loc în matematica secolului nouăsprezece
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
Maxwell acest principiu a ajuns să fie cunoscut ca relativitatea restrânsă prețul menținerii unui astfel de principiu era, însă, cel al modificării legilor teoriei lui Newton. Pentru a înțelege relativitatea restrânsă, trebuie să știm câte ceva despre geometria minkowskiană. Spre deosebire de geometria euclidiană, în această nouă geometrie spațiul și timpul sunt luate împreună și avem astfel o geometrie patrudimensională a spațiu-timpului. Noutatea cu care vine această geometrie poate fi înțeleasă mai bine dacă comparăm felul cum este reprezentată mărimea "distanței" în geometria euclidiană
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
euclidiană, în această nouă geometrie spațiul și timpul sunt luate împreună și avem astfel o geometrie patrudimensională a spațiu-timpului. Noutatea cu care vine această geometrie poate fi înțeleasă mai bine dacă comparăm felul cum este reprezentată mărimea "distanței" în geometria euclidiană și în cea minkowskiană. În geometria euclidiană, distanța este dată de formula OP2 = x2 + y2 + z2. În geometria minkowskiană, avem formula OP2 = t2 (x/ c)2 (z/c)2 48 care reprezintă, nu distanța punctului P față de origine (ca în
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
timpul sunt luate împreună și avem astfel o geometrie patrudimensională a spațiu-timpului. Noutatea cu care vine această geometrie poate fi înțeleasă mai bine dacă comparăm felul cum este reprezentată mărimea "distanței" în geometria euclidiană și în cea minkowskiană. În geometria euclidiană, distanța este dată de formula OP2 = x2 + y2 + z2. În geometria minkowskiană, avem formula OP2 = t2 (x/ c)2 (z/c)2 48 care reprezintă, nu distanța punctului P față de origine (ca în geometria euclidiană), ci timpul scurs pentru o
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
în cea minkowskiană. În geometria euclidiană, distanța este dată de formula OP2 = x2 + y2 + z2. În geometria minkowskiană, avem formula OP2 = t2 (x/ c)2 (z/c)2 48 care reprezintă, nu distanța punctului P față de origine (ca în geometria euclidiană), ci timpul scurs pentru o particulă între evenimentele O și P49. După Penrose, structura acestei geometrii patrudimensionale "cu această curioasă mărime a "lungimii" liniilor de univers interpretată ca interval de timp măsurat (sau "scurs") de un ceas fizic exprimă esența
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
a lumii nu mai este una fixă (cum era înțeleasă în teoria lui Newton și în teoria relativității restrânse), ci variază în funcție de distribuția masei și energiei. Este destul de evident că o astfel de structură a spațiu-timpului este departe de geometria euclidiană și de înțelegerea oferită de teoria lui Newton în legătură cu structura lumii. Foarte mulți leagă prăbușirea poziției kantiene de apariția teoriei relativității generalizate 51, conform căreia structura spațială a lumii nu este corect descrisă de geometria euclidiană lucru care pare imposibil
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
este departe de geometria euclidiană și de înțelegerea oferită de teoria lui Newton în legătură cu structura lumii. Foarte mulți leagă prăbușirea poziției kantiene de apariția teoriei relativității generalizate 51, conform căreia structura spațială a lumii nu este corect descrisă de geometria euclidiană lucru care pare imposibil de compatibilizat cu ceea ce spune Kant despre spațiu. Dacă privim această teorie doar din această perspectivă cred că o lipsim totuși de un mare merit: dacă transformările care au avut loc în matematica secolului al nouăsprezecelea
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
privite în această lumină, (i.e. ca principii constitutive), nu sunt necesare. Ele pot fi revizuite odată cu progresul științei empirice. Lucru care s-a întâmplat, de altfel, și în trecerea de la teoria lui Newton la cea a lui Einstein, cu geometria euclidiană. 1.2.3.2. Frege Am văzut mai sus că pozitiviștii logici considerau că dispun, când vine vorba de statutul judecăților matematice, de două alternative: fie adoptă un tip radical de empirism, fie neagă că acestea ar fi informative. Ei
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
trebui adoptată în locul logicii clasice, deoarece aceasta din urma conține legi logice care trebuiesc respinse în toate domeniile. 2.2.1. Mecanica cuantică și logica cuantică În lucrarea sa "Is Logic Empirical?", H. Putnam pune următoarea întrebare: în cazul geometriei euclidiene, s-a întâmplat ca "adevăruri" despre care se credea că sunt necesare, să fie respinse ca falsități, de ce nu ar fi cazul și ca unele "adevăruri necesare" ale logicii să fie respinse? (Putnam 1969: 216) Odată cu propunerea de către Einstein a
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]
-
sunt necesare, să fie respinse ca falsități, de ce nu ar fi cazul și ca unele "adevăruri necesare" ale logicii să fie respinse? (Putnam 1969: 216) Odată cu propunerea de către Einstein a teoriei relativității generale, s-a renunțat la ideea că geometria euclidiană reprezintă cadrul matematic potrivit pentru formularea legilor empirice care descriu unele fenomene empirice concrete. Acest lucru i-a făcut pe unii filosofi să afirme că dacă teoria relativității generale este corectă, atunci unele "adevăruri" despre care se credea că sunt
Aplicabilitatea matematicii ca problemă filosofică by Gabriel Târziu () [Corola-publishinghouse/Science/888_a_2396]