ADEVARAT, DAR NEDEMONSTRABIL - CRISTIAN CALUDE
- ISBN/COD:607IPIBAD
- Domeniu: Logică matematică
- Tip lectură: Popularizarea științei
- Editura: STIINTIFICA SI ENCICLOPEDICA
- An apariție: 1988
- Colecția: STIINTA PENTRU TOTI
- Limba: romana
- Nr. Pagini: 110
- Tip copertă: Necartonată (Paperback)
- Dimensiuni carte:12.0 x16.0 x0.5
-
4,99lei
- Disponibilitate:În Stoc
- Comenzi telefonice: 0762700800
- L-V: 8.00-16.00
| Livrare in 24-72 ore | - 16.99 lei prin Curier rapid(Plata cu cardul) |
| - GRATUIT peste 249 lei |
Optiuni valabile
Există enunțuri adevărate pe care nicio demonstrație nu le poate atinge - și tocmai asta face din matematică o știință mai tulburătoare decât pare la prima vedere.
Cristian Calude, unul dintre logicienii români cu preocupări solide în teoria demonstrației și a complexității, explică pentru cititorul nespecialist una dintre cele mai neliniștitoare descoperiri ale secolului XX: teoremele de incompletitudine ale lui Gödel și consecințele lor asupra ideii de adevăr matematic. Textul nu presupune pregătire avansată, fiind gândit pentru colecția „Știința pentru toți”, unde rigoarea știe să meargă mână în mână cu claritatea expunerii.
Apărută în 1988 la Editura Științifică și Enciclopedică, cartea are doar 110 pagini, dar reușește să deschidă o discuție densă despre limitele logicii formale, într-un moment în care asemenea teme abia începeau să pătrundă în spațiul public românesc.
Reper de lectură
Potrivită celor curioși de filosofia matematicii sau de istoria ideilor din logică, dar și cititorilor care își amintesc cu drag colecția „Știința pentru toți” din anii ’80.
CRISTIAN CALUDE
Cristian Sorin Calude (n. 21 aprilie 1952, Galați, România) este un matematician și informatician român stabilit în Noua Zeelandă din 1992, cunoscut pentru contribuțiile sale în informatica teoretică.
După ce a absolvit Colegiul Național „Vasile Alecsandri” din Galați, a urmat cursurile la Universitatea din București, avandu-i printre profesori pe Grigore C. Moisil și Solomon Marcus.
Este profesor la Universitatea din Auckland, Noua Zeelandă. Este director fondator al Centrului pentru Matematică Discretă și Informatică Teoretică și membru al Academiei Europaea. Profesor vizitator în mai multe universități din Europa, America de Nord și de Sud, Australasia, Africa de Sud, incluzând Monbusho profesor vizitator la JAIST, 1999, profesor vizitator la ENS, Paris, 2009, Universitatea Sun Yat-sen, Guangzhou, China, 2017-2020 și ETH, 2019. A fost profesor la Universitatea din București pană în 2000. Autor sau co-autor a peste 270 articole și 8 carti. Citat de mai mult de 550 autori.
În 2017, împreuna cu S. Jain, B. Khoussainov, W. Li și F. Stephan, a anunțat un algorithm pentru decizia jocurilor de paritate în timp quasi-polynomial. Rezultatul a fost prezentat la Symposium on Theory of Computing 2017 unde a primit un Best Paper Award și Premiul EATCS-IPEC Nerode Prize 2021.
Președintele României Klaus Iohannis a conferit Ordinul Național Serviciul Credincios în grad de Cavaler.
ALTE CĂRȚI SCRISE DE CRISTIAN CALUDE
COMPLEXITATEA CALCULULUI. ASPECTE CALITATIVE CRISTIAN CALUDE
Pret de la:21,99lei
ALTE CĂRȚI DIN CATEGORIA MATEMATICA
ECUATII DIFERENTIALE ARISTIDE HALANAY
Pret:19,99lei
COMPLEMENTE DE MATEMATICI ARNO KAHANE
Pret de la:42,99lei
Etichete: ADEVARAT, DAR NEDEMONSTRABIL, CRISTIAN CALUDE