præcisere
Præcisere, (af fr. préciser), udtrykke nøjagtigt og bestemt; fastslå nøje.
Præcisere, (af fr. préciser), udtrykke nøjagtigt og bestemt; fastslå nøje.
præciseret, mens de uformelle magtrelationer forbliver upræcise og flydende. Den offentlige magts deling, omfang og begrænsning er normalt nøje fastlagt i forfatninger og andre lovkomplekser, og borgernes rettigheder over for magtens instanser søges til stadighed præciseret. Omvendt er de private
Præciseret af Tarski og Gödel I 1930'erne præciserede og generaliserede Alfred Tarski model- og sandhedsbegrebet, efter at Kurt Gödel havde vist, at udsagn, der er sande i alle modeller for et såkaldt førsteordens aksiomsystem, også kan deduceres fra aksiomerne
præcisere det fælles grundlag for al matematik, der herved muliggøres, må mængdelæren opbygges vha. intuitivt naturlige aksiomer, som er nødvendige for at gennemføre generelt accepterede matematiske beviser, og som ikke tillader det naive mængdebegrebs selvmodsigelser. Dette projekt begyndte med den
Præcisering, (se præcisere), det at præcisere.
præcisere det i tænkningens historie. Heraklit og eleaterne I den tidlige græske filosofi ca. 500 f.Kr. står to opfattelser over for hinanden: På den ene side Heraklits påstand om, at alt er i stadig forandring, illustreret ved hans eksempel om
præcisere det og/eller undgå misforståelser, med betegnelsen deceleration eller et synonym hertil, retardation, og angives med en negativ værdi; -3 m/s2 svarer således til en jævn nedgang i hastighed på ovenstående eksempels 6 m/s i løbet af 2 sekunder. Acceleration
præciserede, at Jesus har to naturer, en guddommelig og en menneskelig, som er forenede fra undfangelsen. Omvendt hævdede adoptianisterne i Syrien i 200-tallet, i Spanien i 700-tallet og i Frankrig i 1100-tallet, at Jesus først blev Guds
præciserede han vha. begrebet Turingmaskine, hvad man måtte mene med, at et problem var beregneligt vha. en formel eller mekanisk procedure (se beregnelighed), og sammen med Church fremsatte han Church-Turings tese om klassen af beregnelige problemer. Turing viste også
præcisere, hvem der er ophavsmand til den fortsættelse af Cervantes' Don Quixote, der udkom i 1614 under Avellanedas navn. Det er en ujævn imitation med visse gode passager, men slet ikke på højde med Cervantes' værk. Den er båret af