Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Outline of mathematics
Summary
Mathematics is a field of study that investigates topics such as number, space, structure, and change.
Definitions of mathematics – Mathematics has no generally accepted definition. Different schools of thought, particularly in philosophy, have put forth radically different definitions, all of which are controversial.
Language of mathematics is the system used by mathematicians to communicate mathematical ideas among themselves, and is distinct from natural languages in that it aims to communicate abstract, logical ideas with precision and unambiguity.
Philosophy of mathematics – its aim is to provide an account of the nature and methodology of mathematics and to understand the place of mathematics in people's lives.
Classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory.
Constructive mathematics asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists. In classical mathematics, one can prove the existence of a mathematical object without "finding" that object explicitly, by assuming its non-existence and then deriving a contradiction from that assumption.
Predicative mathematics
An academic discipline – branch of knowledge that is taught at all levels of education and researched typically at the college or university level. Disciplines are defined (in part), and recognized by the academic journals in which research is published, and the learned societies and academic departments or faculties to which their practitioners belong.
A formal science – branch of knowledge concerned with the properties of formal systems based on definitions and rules of inference. Unlike other sciences, the formal sciences are not concerned with the validity of theories based on observations in the physical world.
Mathematical object an abstract concept in mathematics; an object is anything that has been (or could be) formally defined, and with which one may do deductive reasoning and mathematical proofs.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.