Answers:
transistors, logic circuitries, integrated circuits and chips designs, bipolar and processors.
[Search][Subject Index][MathMap][Tour][Help!]
Foundational Branches of Mathematics
[Return to start of tour] [Up to The Divisions of Mathematics]
These areas consider the framework in which mathematics itself is carried out. To the extent that these consider particular mathematical topics, they border on other areas of the Mathematics Subject Classification; to the extent that these consider the nature of proof and of mathematical reality, they border on philosophy!
03: Mathematical logic, or Symbolic Logic, lies at the heart of the discipline, but a good understanding of the rules of logic came only after their first use. Besides basic propositional logic used formally in computer science and philosophy as well as mathematics, this field covers general logic and proof theory, leading to Model theory. Here we find celebrated results such as the Gödel incompleteness theorem and Church's thesis in recursion theory. Applications to set theory include the use of forcing to determine the independence of the Continuum hypothesis. Applications to analysis include Nonstandard analysis, an alternate perspective for calculus. Undecidability issues permeate algebra and geometry as well. This heading includes Set Theory as well: axiomatizations of sets, cardinal and ordinal arithmetic, and even Fuzzy Set theory.
18: Category theory, a comparatively new field of mathematics, provides a universal framework for discussing different domains of study. Here the emphasis is not so much on the underlying sets (the groups, manifolds, or whatever) as on the functions between them and the relations which characterize them. One may attempt to base much of mathematics on fundamental themes in this area (e.g. topoi rather than sets).
08: General algebraic systems include those structures with a very simple axiom structure, as well as those structures not easily included with groups, rings, fields, or the other algebraic systems. In this field one may consider the general nature of algebraic axioms and how the different classes of them are related.
(Also shown in the map is a section 04 (Set Theory) which has been folded into section 03 with the 2000 version of the MSC.)
Considerations in logic of complexity and provability lead to topics in theoretical computer science; questions of decidability arise in a natural way in number theory and group theory. The apparent paradoxes of set theory (particularly from use of the Axiom of Choice) lead to foundational issues in topology and measure theory. An emphasis on axioms leads to the development of abstract algebra and (synthetic) geometry.
You might want to continue the tour with a trip through algebra.
------------------------------... Mathematics has a lot of branches, but there are generally considered three foundations: set theory, number theory and category theory. Any branch of mathematics can be reduced to any one of the foundational theories, and so they're considered equal. Set theory studies the behavior of collections of objects. Number theory studies counting and the number line, and category theory studies relations between types of objects.
Logic has a number of branches too, but there are three key ones for your purpose.
Mathematical logic is an attempt to understand the basic reasoning processes of math, and it uses a lot of set theory.
Formal logic (as distinct from mathematicall logic) includes the propositional and predicate calculi; the propositional calculus characterizes inference using whole sentences, and the predicate calculus breaks sentences into subjects and objects (or "nouns" and "predicates").
Informal logic or critical thinking studies or argumentation theory uses the notion of "fallacies" to understand inference. A fallacy is a pattern of argument, like the ad hominem (or "attack the man") fallacy, which is valid in some circumstances and invalid in others. An ad hominem attack is "fallacious", for example, when the characteristics of the person making an argument are irrelevant to the conclusions of the argument; but valid ad hominems are common, in court cases, for example, where the credibility of someone's testimony may be affected by a previous criminal record. for the branches of mathematics they are Foundations, Algebra, Analysis, Geometry, and Applied Mathematics.
for the branches of logic i don't no
More questions and answers...