Computer Science, asked by mohitmehta681976, 8 months ago

48. the system that is not described
by procedures
Informal System
Formal System
Other:​

Answers

Answered by Anonymous
1

A formal system is used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A formal system is essentially an "axiomatic system".[1] Fourth Century B.C.E Philologist Panini is credited with the first use of formal system in Sanskrit Grammar[2][3]. In 1921, David Hilbert proposed to use such system as the foundation for the knowledge in mathematics.[4] A formal system may represent a well-defined system of abstract thought

Similar questions