O QUE SIGNIFICA INTUIȚIONÍST EM ROMENO
Clique para ver a
definição original de «intuiționíst» no dicionário romeno.
Clique para
ver a tradução automática da definição em português.
definição de intuiționíst no dicionário romeno
intuitionista m., adj. m. (force-you-o-o-), pl. intuitionistic; f. int. lugar de intuição, pl. intuitionistic intuiționíst s. m., adj. m. (sil. -tu-i-ți-o-), pl. intuiționíști; f. sg. intuiționístă, pl. intuiționíste
Clique para ver a
definição original de «intuiționíst» no dicionário romeno.
Clique para
ver a tradução automática da definição em português.
10 LIVROS EM ROMENO RELACIONADOS COM «INTUIȚIONÍST»
Descubra o uso de
intuiționíst na seguinte seleção bibliográfica. Livros relacionados com
intuiționíst e pequenos extratos deles para contextualizar o seu uso na literatura.
1
Neointuiţionismul - Pagina 127
Continuul aristotelic este spaţio-temporal, pe cînd cel intuiţionist este doar temporal. Borel menţionase deja faptul că ideea de continuu în genere are la bază o intuiţie geometrică; continuul numeiic apare drept concept analog al continuului în ...
2
Elemente de Logica Intuitionista; Elements of Intuitionist ... - Pagina 29
Atributul „indiferent", acordat unei propoziţii, nu apare la Brouwer şi nu este un concept intuiţionist. într-adevăr, în cazul în care nu este valabilă legea terţului exclus, adică atunci cînd nu se poate decide dacă o propoziţie este adevărată sau ...
3
Metafizică și artă - Pagina 220
Cele trei metafizici contemporane: a) inductivă, b) intuiţionist-iraţionalistă, c) "metafizica problemelor". "Metafizica industică" sau omul excentric în cosmos (Lotze, Fechner ete.) 41 13. Metafizica intuiţionist-iraţionalistă sau omul ca purtător al ...
Mircea Florian, Ilie Pârvu, Ion Ianoși, 1992
4
Dicționar de logică - Pagina 272
O astfel de propoziţie se spune că este „satisfăcută în mod intuiţionist" sau asertată (simbolic h p ). Construcţia demonstrează propoziţia. 2. Negaţia ~\p spune că ,p duce la contradicţie" şi înseamnă că ,j? este imposibil" (de jure, nu de facto).
5
Filozofia și fundamentele matematicii - Pagina 146
Godel şi Gentzen au observat, independent, că orice contradicţie <Ierivabilă, în sistemul formal al teoriei clasice a numerelor, antrenează o contradicţie în sistemul intuiţionist al lui Heyting pentru teoria numerelor. Cei doi autori, Godel [5] şi ...
6
Logica polivalentǎ. Editie nouǎ, complet refǎcutǎ si ... - Pagina 213
Implicaţia ,p":pDj („p implică q" sau „dacă p atunci q") exprimă faptul că printr-un raţionament intuiţionist din p rezultă q sau, mai explicit, că cineva posedă o metodă prin care din orice demonstraţie a lui p se poate obţine o demonstraţie a lui ...
Anton Dumitriu, Teodor Stíhi, 1971
7
Euristică și structură în știință - Pagina 45
Există, de asemenea, un calcul intuiţionist al claselor şi un calcul intuiţionist al propoziţiilor, care realizează un sistem abstract de algebră intuiţionistă, algebră obţinută prin înlocuirea legii terţului exclus cu consecinţe mai slabe ale acestei legi.
8
Immanuel Kant: 200 de ani de la apariția Criticii rațiunii ... - Pagina 82
al celor pozitiviste sau platonice — la ideile sale de tip intuiţionist 17. în esenţă, neointuiţioniştii adoptă teoria kantiană a apriorită- ţii pentru a combate teza logicist-neopozitivistă a construcţiei obiectelor matematice cu mijloace ...
9
Istoria științei și reconstrucția ei conceptuală: antologie - Pagina 67
intuiţionismului creează posibilitatea introducerii continuului intuiţionist ca speciile succesiunilor înaintînd mai mult sau mai puţin liber de numere raţionale şi, mai general, spaţiul cartezian intuiţionist n-dimensional ca speciile ...
10
Încercări vechi și noi de logică neclasică - Pagina 60
Grigore C. Moisil. intuiţionist. A. N. Kolmogorov a dat o interpretare a acestei logici şi a construit o logică intuiţionistă diferită de cea a lui Heyting. Iată o descriere a logicii lui Heyting*. Principiul identităţii (vezi mai departe formula (49) şi § 12), ...