foundation's of mathematic

mathematic of foundation's


learn history of matemaika can start with we study definition of mathematics science, and continued to mathematics of foundation, and if us study [him/it] by like this, hence way of us learn to have the character of pragmaticly.
learn pramagtis [is] learning by crosscut us a[n science link as base early to study a[n science as a whole.
and when us have the character of pragmaticly, that is taking one of [the] link of science as base think, hence us also have the character of as clan of foundations.
and let us analyze one by one about mathematic of foundations, and under colour of us of berfikirt [is] opinion [all] philosophy [in] mathematics area.
and following [is] opinion [all] mathematics philosophy about definition of mathematics ;
According to method of aksiomatik, where the nature of is certain ( unidentified on the contrary) structure taken and later;then logically effect [of] that acre of then logically degraded, Bertrand Russell say:
Mathematics can be defined as subyek of[is which we have never tau whereof which we [is] discuss, and also what we [do] not tell correctness.
Possible this explain why John Neumann von say a[n times;rill:
In Your mathematics [of] takkan comprehend matter. You really taking [him/ it] first.
About respecting of mathematics, Bertrand Russell say in Study Mathematics of:
Mathematics, have as proper as looked into, do not only owning truth, but the beauty [of] is highest - chilled and good careful, like that basrelief, without drawing each;every part of nature of weakening us, without beautiful decoration [of] music or painting, still purification [is] at all, and ability of hard perfection like only biggest art can demonstrate. Easiness [soul/ head] truthfully, supremacy, body meaning more than human being, representing highest excellence testcase, to be found in mathematics like of course poem.
Elaborating symmetry [among/between] creation aspect and mathematics logic, W.S. Anglin perceive, in Mathematics History and:
Mathematics is not movement go down to beware of free roadway, but journey in foreign wilderness, cruiser where often loss. Hardness will become sign for historian of[is which map have been made, and real explorer have gone to other place

Hilbert, D 1972, concerned that in fact, mathematics is replete with examples that refute Brouwer's assertions existence statement; the examples cited are , however, only arbitrarily selected special cases, as the significance of the consistency proof as a general method of obtaining finitary proofs from proofs of general theorems that is say of the character of Fermat's theorem that are carried out by means of the e function.

hlbert toke a proof for fermat's great theorem, a proof in which the logical function e was used and make a finitary proof out of it as first to let assume that numerals p,a,b,c (P>2) satisfying Fermat's equation a+b = c are given; then indicated this equation as a provable formula by giving the form of a proof to the procedure that the numeral a+b and c coincide; on the other hand, according to his asssumption he has a proof of the formula
from which


hilbert, d.1972 claimed that the value of pure existence proofs consist precisely in that the individual construction is eliminated by them and that many different constructions are subsumed under one fundamental idea, so that only what is essential to the proof stands out clearly; brevity and economy of thought are the raison d'etre of existence proofs; he then notified that pure existence theorems have been the most important landmarks in the historical development of our science. But such considerations do not trouble the devout intuitionist. According to Hilbert, the formula game that Brouwer so deprecates has, beside its mathematical value, an important general philosophical significance; for this formula game is carried out according to certain definite rules, in which the technique of our thinking is expressed and these rules form a closed system that can be discovered and definitively stated. Hilbert insisted that the fundamental idea of his proof theory is none other than to describe the activity of our understanding, to make a protocol of the rules according to which our thinking
and from some definition example [of] , menunjukan that science of matemaetika have wide [of] congeniality, and also aspect which there are in mathematics science even also very immeasurable. Like logic, calculus, geometri,aljabar and others. With keberagaman of aspect exist in in the mathematics many from [all] philosophy taking one of [the] aspect of mathematics as basis for develop mathematics science. And usually base which [in] taking to develop its enthusiasm [is] pursuant to their enthusiasm to mathematics aspect. And their enthusiasm to mathematics aspect can be seen from way of mathematics mendefiisikan meeka.
Like phytagoras defining mathematics science based on number science hence its base him [him/ it] surely [pass/through] number science and system which there are in mathematics also number science. Medium kant imanuel as modern mathematics, and he always have the character of skeptik and he study mathematics of its own criticisms so that he/she express mathematics base of dalah itself mathematics epistemologis
And to [all] man of science / its philosophy [of] him even also surely take base of berfikir their [is] aspect in mathematics which they enthuse.