646 matches
-
teoreme au fost inspirate din opera logică a lui Leibniz și au arătat că rolul formalizării matematice introduse de David Hilbert este de nerealizat. Prima teoremă are însemnătate logică și conține importante implicații de ordin filozofic, fiindcă arată imposibilitatea unei formalizări complete a gândirii umane. A stabilit că în orice sistem deductiv, destul de implicat pentru a include raționamente aritmetice, există teoreme matematice care pot fi nerezilvabile în cadrul sistemului (nu pot fi nici demonstrate, nici infirmate). Teoremele de incompletitudine ale lui Gödel
Kurt Gödel () [Corola-website/Science/314206_a_315535]
-
numai online (nu există manuale tipărite). Instalarea și utilizarea softului MediaWiki nu este intuitivă pentru utilizatorii fără experiență în domeniul computerelor. Sintaxa "de facto" MediaWiki este cea a interpretorului () și nu este definită o sintaxă formală. Deoarece nu există o formalizare, de ex. în (EBNF), există dificultăți inerente la crearea unui editor WYSIWYG sau la portarea sintaxei în alte limbaje. Este în lucru formalizarea gramaticii în (ANother Tool for Language Recognition). În plus, nu există vreo versiune offline a MediaWiki care
MediaWiki () [Corola-website/Science/313436_a_314765]
-
facto" MediaWiki este cea a interpretorului () și nu este definită o sintaxă formală. Deoarece nu există o formalizare, de ex. în (EBNF), există dificultăți inerente la crearea unui editor WYSIWYG sau la portarea sintaxei în alte limbaje. Este în lucru formalizarea gramaticii în (ANother Tool for Language Recognition). În plus, nu există vreo versiune offline a MediaWiki care să permită utilizatorilor să modifice paginile în clientul lor offline, iar apoi aceste pagini să fie trimise automat la server la reconectare, într-
MediaWiki () [Corola-website/Science/313436_a_314765]
-
sunt deci, nici realități independente și absolute, nici intuiții a priori ale sensibilității, precum a susținut Immanuel Kant, ci „creații continue ale fecundității deductive a contradictoriului sau a energiei”. Principiul antagonismului și logica implicată de acesta, ca și exprimările și formalizările echivalente ale principiului și, nu în ultimul rând, consecințele constituirii logicii contradictoriului au valoare de prolegomene la un discurs care aduce cu sine o noutate și mai radicală: "trionticitatea" . Miezul tare al discursului lupascian constă, așadar, în ideea de trionticitate
Ștefan Lupașcu () [Corola-website/Science/313832_a_315161]
-
efectuarea activității anticrimă într-un mod intuitiv, lipsit de suport științific, în special criminologic, atunci ulterior această problemă a afectat și activitatea de cercetare științifică. Ea a început prin abandonarea pregătirii, cu frecvența la zi, a cadrelor științifice în cadrul doctoratelor, formalizarea cerințelor către susținerea examenelor de doctorat la specialitate, a continuat cu obstrucționarea tezelor de doctorat elaborate în temeiul cercetărilor criminologice teoretice și a ajuns la eliminarea din Regulamentul cu privire la funcționarea consiliilor științifice specializate și conferirea gradelor științifice și titlurilor științifice
Valeriu Bujor () [Corola-website/Science/323403_a_324732]
-
a Drepturilor Omului comisă de autoritățile orașului Wrocław în ziua de 22 iulie 2015, cănd serviciile de urgență au demolat locuința familiei Căldărar, situată pe strada Paprotna. Suntem șocați/e de faptul că dialogul inter-sectorial, dezvoltat deja pentru normalizarea și formalizarea statutului locuințelor familiilor rome, a fost întrerupt. Progresul și munca asidua în această direcție, realizate de organizații non-profit, instituții publice, voluntari și locuitori ai orașului, au fost distruse, iar regulamentele de construcție au fost considerate mai importante decât Drepturile Omului
OPRIŢI DEMOLĂRILE! () [Corola-website/Science/296097_a_297426]
-
Alan Mathison Turing, , () (n. 23 iunie 1912, Londra, Regatul Unit - d. 7 iunie 1954, , Cheshire, Regatul Unit) a fost un informatician, matematician, logician, criptanalist, filosof și maratonist britanic. A fost o personalitate deosebit de influentă în dezvoltarea informaticii, aducând o formalizare a conceptelor de „algoritm” și „” cu mașina Turing, care poate fi considerată un model de calculator generic. Turing este considerat a fi părintele informaticii și inteligenței artificiale teoretice. În timpul celui de al Doilea Război Mondial, Turing a lucrat pentru la
Alan Turing () [Corola-website/Science/296617_a_297946]
-
și de asemenea va satisface majoritatea necesităților altor utilizatori. Situațiile financiare sunt un complex de sinteze specific contabile, situații, anexe, calcule comparative, fiecare cu explicitarea conducerii, discutate și aprobate sub semnătura de organele abilitate, supuse auditării și făcute publice. Aceste „formalizări” au menirea de a întări valoarea cognitivă a informațiilor contabile concomitent cu valorificarea lor in procesul decizional și managerial. Reflectarea fidelă a realității economico-financiare și a consecințelor sale sociale, umane, instituționale sunt atributele definitorii ale contabilității, pentru perfecționarea căreia se
Contabilitate () [Corola-website/Science/298224_a_299553]
-
standard de măsurare a cantităților fizice. În fizică și în metrologie, e necesară o definiție clară și univocă asupra aceeași cantități, pentru a garanta utilitatea și reproductibilitatea rezultatelor experimentale, ca bază a metodei științifice. Sistemele de măsură științifice sunt o formalizare a conceptului de greutăți și măsuri, care s-au dezvoltat inițial cu scopuri comerciale, în special pentru a crea o serie de instrumente cu care vânzătorii și cumpărătorii să poată măsura în manieră univocă o cantitate de marfă tranzacționată. Există
Unitate de măsură () [Corola-website/Science/298375_a_299704]
-
propozițiilor unei teorii în reguli de acțiune practică și intelectuală în scopul rezolvării problemelor de logică. Logica de bază (logica tradițională, aristotelică sau generală și logica simbolică modernă, matematică sau simbolică) se caracterizează prin trei metode fundamentale: standardizarea, simbolizarea și formalizarea. Standardizarea logică este transformarea enunțărilor din limba naturală, fără a le altera conținutul, în expresii din care poate fi detașată structura lor logică. Simbolizarea este introducerea de simboluri speciale -constante și variabile-cu ajutorul cărora forma logică a acestor enunțuri
Logică () [Corola-website/Science/297515_a_298844]
-
poate fi detașată structura lor logică. Simbolizarea este introducerea de simboluri speciale -constante și variabile-cu ajutorul cărora forma logică a acestor enunțuri este fixată în formule specifice. Se utilizează numai parțial în logica generală și extins în logica simbolică. Formalizarea este finalizarea teoriei logice într-o formă calculatorie. Se utilizează numai în logica simbolică fiind un criteriu eficace de deosebire între logica generală și logica simbolică. În contemporaneitate logicienii dispun de mai multe clase de metode de cunoaștere logică datorită
Logică () [Corola-website/Science/297515_a_298844]
-
Whitehead în opera ,Principia Mathematica, Formularea logicii predicatelor așa cum este aceasta utilizată astăzi este logica de ordinul I prezentată în lucrarea lui David Hilbert și Wilhelm Ackermann, Principles of Theoretical Logic[1] (1928). Generalitatea analitică a logicii predicatelor a permis formalizarea matematicii și a dus la dezvoltarea teoriei modelelor de către Alfred Tarski; logica predicatelor constituie fundamentul logicii matematice moderne. Marea diferență dintre logica silogistică aristoteliciană și logica predicatelor constă în capacitatea acesteia din urmă de a pătrunde în structura fiecărei propoziții
Logică () [Corola-website/Science/297515_a_298844]
-
direct cu Șerbia Centrală. Acest lucru a facilitat abilitatea să de a se guverna aproape complet independent de instituțiile din Kosovo într-o stare de facto al partiției. Deși procesul de statut al provinciei Kosovo a exclus în mod repetat formalizarea partiției ca soluție permanentă, acesta aflându-se în discuție pentru ieșirea din impas. Kosovo de Nord este alcătuit din regiunea care cuprinde municipiile Leposavić, Zvečan și Zubin Potok și o parte relativ mică din Kosovska Mitrovica. Acesta din urmă include
Kosovo de Nord () [Corola-website/Science/321216_a_322545]
-
neafectată de faptul că părinții s-au separat (așanumita custodie comună). Din considerente practice legate de faptul că părinții nu mai locuiesc și nu se mai gospodăresc împreună și pentru evitarea unor surse de conflict se pune problema reglementării și formalizării modului în care cei doi părinți interacționează între ei, a modului în care se iau deciziile cu privire la copii, a timpului pe care fiecare dintre părinți îl va petrece cu copilul, a contribuțiilor financiare sau în natură pe care fiecare dintre
Custodie () [Corola-website/Science/321766_a_323095]
-
dacă ne sunt cunoscute condițiile problemei.” Ele au fost reformulate în 1884, după moartea lui Maxwell, de Heaviside, pentru mărimile cu semnificație fizică directă (câmpul electric și câmpul magnetic), folosind notația compactă a analizei vectoriale. Ecuațiile lui Maxwell rezultă din formalizarea matematică a legilor experimentale din electrostatică și magnetostatică, completate cu rezultatele experimentale ale lui Faraday privind inducția electromagnetică și cu un termen adăugat de Maxwell, care le transformă într-un sistem coerent și complet. Ele permit determinarea câmpurilor formula 21 și
Electrodinamică () [Corola-website/Science/327596_a_328925]
-
a promulgat însă noul statut al Casei Regale, prin care pe tron poate urca și prima femeie născută, în cazul de față Principesa Margareta. Între Dinastia Română și Familia Hohenzollern-Sigmaringen legăturile au fost rupte încă de pe vremea lui Ferdinand, dar formalizarea rupturii s-a făcut în 2007, după ce Regele Mihai a schimbat Normă Fundamentală a Casei Regale.
Doliu în familia regală din România. Principele Johann Georg Michael de Hohenzollern a murit by Crișan Andreescu () [Corola-website/Journalistic/103151_a_104443]
-
acest tip de educație, remarcă autorii raportului Bună guvernanță. Leadership politic și provocări curente în Europa și America. Putem fi martorii unei convergențe a programelor curriculare când vine vorba de cerințele educaționale ale liderilor politici, ceea ce constituie o oportunitate de formalizare a trainingului și de a ne asigura că acesta este obiectiv, deschis perspectivelor multiple și cuprinzător", se precizează în studiu. Volumul scris de Bear Grylls, este o carte despre poveștile de supraviețuire ale unor oameni extrem de diferiți, care au făcut
Lecturi incitante pentru mari și mici, la Bookfest by Magdalena Popa Buluc () [Corola-website/Journalistic/105467_a_106759]
-
forma unui opus depindea de iluziile logico-matematice ale analiștilor muzicali. Era convins că forma este consecința unei existențe puternice, nu cauza ei. Nu poți crea o operă vie agățînd de gîtul ei tot felul de experimente insolite sau, dimpotrivă, de formalizări redundante, ci numai exprimînd impresiile trăite la cea mai înaltă temperatură. O emoție, chiar una simplă, ca bucuria ori tristețea, este prea complexă pentru a mai putea fi inventată. Iar o bucurie sau o tristețe nu seamănă nicicum cu alta
Muzica by Liviu Dănceanu () [Corola-website/Journalistic/10970_a_12295]
-
muzicii bizantine. Dar, chiar și atunci când reușesc să convoace atenția asupra unor eventuale ubicuități și izotropii a principiului sectio aureea în cadrul construcțiilor sonore consacrate, excursurile teoretice se cade să țină cont de semnificațiile teoremei lui Gödel conform căreia, față de orice formalizare propusă pentru aritmetică, există propoziții adevărate ce nu pot fi obținute în contextul formalizării considerate. Adică, nicio formalizare nu poate cuprinde întreaga Aritmetică. Tot așa, nici un orizont analitic nu poate epuiza semnificațiile numărului lui Fibonacci în arta sunetelor, dar nici
El Dorado: varianta nesentimentală by Liviu DĂNCEANU () [Corola-website/Journalistic/83815_a_85140]
-
și izotropii a principiului sectio aureea în cadrul construcțiilor sonore consacrate, excursurile teoretice se cade să țină cont de semnificațiile teoremei lui Gödel conform căreia, față de orice formalizare propusă pentru aritmetică, există propoziții adevărate ce nu pot fi obținute în contextul formalizării considerate. Adică, nicio formalizare nu poate cuprinde întreaga Aritmetică. Tot așa, nici un orizont analitic nu poate epuiza semnificațiile numărului lui Fibonacci în arta sunetelor, dar nici nu-i poate acredita omniprezența. Am întâlnit compozitori care își propuneau de la bun început
El Dorado: varianta nesentimentală by Liviu DĂNCEANU () [Corola-website/Journalistic/83815_a_85140]
-
sectio aureea în cadrul construcțiilor sonore consacrate, excursurile teoretice se cade să țină cont de semnificațiile teoremei lui Gödel conform căreia, față de orice formalizare propusă pentru aritmetică, există propoziții adevărate ce nu pot fi obținute în contextul formalizării considerate. Adică, nicio formalizare nu poate cuprinde întreaga Aritmetică. Tot așa, nici un orizont analitic nu poate epuiza semnificațiile numărului lui Fibonacci în arta sunetelor, dar nici nu-i poate acredita omniprezența. Am întâlnit compozitori care își propuneau de la bun început să respecte valorile matematice
El Dorado: varianta nesentimentală by Liviu DĂNCEANU () [Corola-website/Journalistic/83815_a_85140]