sorodni izrazi in sinonimi v sodobni slovenščini, hrvaščini in srbščini
Podobnost besed in fraz med rezultati je odvisna od tega, kolikokrat se beseda
ali fraza pojavi v podobnem stavčnem kontekstu kot "gödel".
Podobni izrazi in sinonimi za
Kliknite za poizvedbo
Primeri iz korpusa
Korpus Common Crawl
Common Crawl je korpus spletnih strani
Gödel je torej pokazal , da v matematiki ni mogoče vsega dokazati , vsaj ne v nekem prej danem sistemu aksiomov in pravil sklepanja .
Gödel’s theorem ensured there would always be a job for mathematicians.
Gödel ga je pogosto spremljal na poti domov.
Gödel je s svojim prvim izrekom dokazal , da matematične teorije ni mogoče formalizirati v celoti , če se ta sklicuje na osnovno aritmetiko .
Gödel trdi le , da ne moreš dokazati interno kompletnost nekega seta aksiomov .
Gödel je z izjavo , da bodo nekatere izjave vedno napačne četudi bodo argumenti pravilni , razglasil smrt logike .
Gödel je svoje sklepe apliciral le na omejeno polje matematike in njegov cilj nikakor ni bil razbiti resnico .
Gödel je bil samotarski človek , ki je najbolj užival v čistem motrenju abstrakcij .
Gödel je leta 1931 dokazal , da kakršnakoli teorija , ki je sposobna izraziti elementarno aritmetiko , še ne more biti konsistentna in celovita .
Dober prevajalnik je dober samo toliko , kot ljudje , ki so ga napisali , nikoli pa ne more biti boljsi ( Gödel in njegovo umovanje ) .
Tako je Gödel naredil konec iskanju matematične gotovosti s tem , da je pokazal , da ne obstaja , in tudi ne more obstajati .
Potem, še nekaj drugega, tu nisem gotov, baje je Gödel šele na koncu dal vedeti še za eno svojo ugotovitev.
Tudi v matematiki obstajajo stvari , ki so preprosto privzete , v celem sistemu pa nastajajo paradoksi ( Gödel's incompleteness theorems ) .
Ne pluralisti ( kot Gödel ) so menili , da so rezultati neodvisnosti zgolj nakazovali pomanjkljivost naših sredstev za omejevanje matematične resnice .
Iz citata je razvidno , da Gödel zahteva posebno vrsto matematične intuicije , ki nam dopušča jasno zaznavanje matematičnih objektov .
V tem jeziku je mogoče izraziti velike razrede matematičnih funkcij vključno z vsemi , ki jih je uporabil Gödel .
Gödel's incompleteness theorems Če me pa sprašuješ , če verjamem v znanstvene domneve , je odgovor da , a ne ?
Gödel je dejansko predlagal kandidate za nove aksiome - velike kardinalne aksiome - in domneval je , da bodo poravnali CH.
Žal nam pa tudi ta ne nudi "absolutno" zanesljivost, kar je, med drugimi, ugotovil tudi Gödel.
Na primer bi deskriptivisti rekli , da se " Gödel " nanaša na osebo , ki je dokazala nepopolnost aritmetike .