Zoekresultaten

…nen. Formele systemen worden gebruikt als [[formeel bewijs]]. Vrijwel alle formele systemen maken gebruik van de [[axiomatische methode]] om nieuwe [[uitdrukk …logica|propositie-]], [[predicatenlogica|predicaten-]] en andere [[logica (wetenschap)|logica]]'s. …

…olgens een onweerlegbare (logische) [[gevolgtrekking]]. In de axiomatische formele logica wordt het als volgt gedefinieerd: Axiomatische formele logica is een onderdeel van de [[wiskunde]], als zodanig wordt het veel toe …

…ef''' wil zeggen: uitgedrukt in [[getal (wiskunde)|getal]]len. De [[exacte wetenschap]] streeft ernaar de [[natuur (werkelijkheid)|natuur]] ''kwantitatief'' te… Het gebruik van wiskunde in de wetenschap is in de zeventiende eeuw mogelijk geworden, doordat grootheden ([[natuurku …

[[Categorie:Formele wetenschap]] …

…beeld algemene taalkundige vaststellingen weergegeven worden als [[Logica (wetenschap)|logische]] stellingen, bijvoorbeeld ''Jantje speelt'' kan voorgesteld word …

De term '''formele taal''' heeft ten minste drie verwante betekenissen: In het normale spraakgebruik is formele taal taalgebruik dat ''vormelijk'' is: het houdt zich aan conventies om dat …

…t) is een taalelement in de [[wiskunde]], in het bijzonder in de [[logica (wetenschap)|logica]]. In de [[Intuïtionisme|intuïtionistische formele logica]] gelden equivalenties 1 en 3 niet van rechts naar links. …

…Willem Remmelt de Jong|W.R. de Jong]], ''Basisboek Logica, Argumentatie en formele structuur''. Amsterdam: Boom, 2005. {{ISBN|9789085060673}} [[Categorie:Formele wetenschap]] …

…vader gewenste loopbaan ingeschreven voor studies [[recht]]en, [[economie (wetenschap)|economie]] en [[boekhouding|boekhouden]]. Zelf voelde Weierstrass nog alti …l [[Bernard Bolzano]] al in [[1817]] (en mogelijk eerder) met een redelijk formele definitie van een [[limiet]] was gekomen, werd zijn werk pas jaren later be …

…der een '''benadering''' van een [[grootheid]] verstaat men in de [[exacte wetenschap]]pen een getalswaarde die voor een bepaald praktisch doel voldoende dicht… [[Categorie:Formele wetenschap]] …

…ge]], [[filosoof]] en [[logicus]]. Gedurende zijn leven werkte hij aan een formele beschrijving van de rekenkunde. Zijn werk stond aan de basis van de hoge vl …al les gaf. In dat jaar publiceerde hij ook de [[axioma's van Peano]] als formele onderbouwing van het begrip '[[natuurlijk getal]]'. Peano's [[ruimtevullen …

De '''geschiedenis van de logica''' bestrijkt de ontwikkeling van [[logica (wetenschap)|logica]], zoals deze in de [[geschiedenis]] van verschillende culturen en …twikkeling kwam in alle drie de beschavingen rond de [[4e eeuw v.Chr.]] De formele academische behandeling van moderne logica stamt van de Griekse traditie en …

[[Categorie:Formele wetenschapslijsten]] [[Categorie:Formele wetenschap]] …

…ng gaf tot een correcte studie van de verzameling der reële getallen en de formele [[verzamelingenleer]] op zich. Differentiaalvergelijkingen worden toegepast in bijna alle takken van wetenschap en techniek; zelfs de oorspronkelijke motivatie van Newton om afgeleiden ui …

…: '''mathematiek''', '''mathematica''' of '''mathesis''') is een [[formele wetenschap]] die onder andere [[getal (wiskunde)|getal]]len, [[patroon (vorm)|patronen …ieerde]] [[object (ding)|objecten]] en formuleren verbanden daartussen. De formele redenering die aantoont dat een stelling waar is, noemt men een [[wiskundig …

…|micro-]] en de [[macro-economie]] werd gemaakt. Deze vorm van economische wetenschap heeft zich sindsdien verder ontwikkeld. …n [[Robert Solow]] ontwikkelden formele keynesiaanse modellen. Zij werkten formele theorieën voor de [[consumptie]], de [[investering]]en en de [[Geldvraag|vr …

…|empirisch]] bepaalde [[wetten van Kepler]] eindelijk wiskundig ([[formele wetenschap|formeel]]) verklaard. Bovendien werd duidelijk dat deze kracht dezelfde (zw …erenigd in een enkele, consistente theorie. Er wordt door de natuurkundige wetenschap naar een ''[[theorie van alles]]'' gezocht: een synthese (samenvoeging) van …

[[Formele taal]] - [[Logica (wetenschap)|Logica]] …

…Werner Heisenberg]], [[Pascual Jordan]] en [[Friedrich Hund]] de [[Formele wetenschap|formalisering]] van de moderne kwantummechanica. Later werd aangetoond dat …

…was (ten tijde van Einstein) een geheel nieuw principe, met (ondanks zijn formele eenvoud) bijzonder verreikende gevolgen. Om deze twee basisideeën met elkaa …[Michelson-Morley-experiment|experiment van Michelson en Morley]], waar de wetenschap tot op dat moment ook niet goed raad mee wist. In deze experimenten was aan …