en:speech:book:formal_sciences

Differences

This shows you the differences between two versions of the page.

en:speech:book:formal_sciences [2024/08/16 07:12] – created brahmantraen:speech:book:formal_sciences [2024/08/17 03:38] () – brahmantra
 2:  2:
  
   * Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems   * Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems
-    * A field of study that discovers and organizes methods, theories and theorems that are developed and proved for the needs of empirical sciences and mathematics itself.  +
-      * [[:en:mathematics| Mathematics ]] +
-      * [[:en:mathematical_word_symbolism|mathematical word symbolism ]] +
-    * the study of correct reasoning. It includes both formal and informal logic. +
-      * [[:en:logic | logic ]] +
-      * [[:en:logic_word_symbolism| Logic word symbolism ]] +
-    * discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. +
-      * [[:en:statistics | statistics ]]  +
-    * the mathematical study of the quantification, storage, and communication of information. +
-      * [[:en:information_theory | information theory ]]  +
-    * Systems theory is the transdisciplinary study of systems, i.e. cohesive groups of interrelated, interdependent components that can be natural or artificial. +
-      * [[:en:systems_theory | systems theory ]] +
-        * [[:en:symbolic_word_systems | Symbol systems theory ]] +
-    * Game theory is the study of mathematical models of strategic interactions +
-      * [[:en:game_theory | game theory ]] +
-    * Decision theory (or the theory of choice) is a branch of applied probability theory and analytic philosophy concerned with the theory of making decisions based on assigning probabilities to various factors and assigning numerical consequences to the outcome.  +
-      * [[:en:decision_theory | decision theory ]] +
-      * [[:en:ars_judicandi| Ars judicandi ]]  +
-    * the study of computation, information, and automation. +
-      * [[:en:computer_science | Computer science ]]+
   * formal systems   * formal systems
-    * [[:en:formal_language | formal language ]]  +    * [[:en:symbol:formal_language | Formal language ]] 
-    * [[:en:formal_semantics | Formal semantics ]] +    * [[:en:symbol:formal_semantics | Formal semantics ]]  
 + 
 + 
  
  
Detach Close

This topic does not exist yet

You've followed a link to a topic that doesn't exist yet. If permissions allow, you may create it by clicking on Create this page.

  • en/speech/book/formal_sciences.1723792377.txt.gz
  • 2024/08/16 07:12
  • brahmantra