Your English writing platform
Discover LudwigSuggestions(5)
Exact(17)
Phil Vahey, a senior research scientist at SRI international, the US research institute behind the maths project, said: "In traditional mathematics there is a lot of focus on graphs and algebraic representation, which is of course incredibly important, but if you only focus on these it's very hard for students to understand the deep ideas behind it".
When David Hilbert declared that "In mathematics there is no ignorabimus," he was wrong.
We write and read mathematics on paper but we seldom think about what mathematics there is in paper, that is, what mathematics is behind papermaking.
You can find it by pure thinking, since in mathematics there is no Ignorabimus!" Hilbert's fifth problem was a deep conjecture in the theory of topological groups.
Despite the centrality of proof in mathematics, there is a lack of studies addressing how to integrate proof into other mathematical domains.
A Platonist might still ask whether, among all the models of the language of mathematics, there is a distinguished model, which may be considered to be the world of mathematics.
Similar(43)
In mathematics there are many, many cases where there are multiple equivalent ways to define things.
The Ionian philosophers Thales, Anaximander, Anaximenes, and others provided Pythagoras with the problem of a single cosmic principle, the doctrine of opposites, and whatever reflections of Eastern mathematics there are in Pythagoreanism; and from the technicians of his birthplace, the Isle of Samos, he learned to understand the importance of number, measurements, and proportions.
Especially in the larger field of constructive reverse mathematics there are many results of this nature that are also relevant from the intuitionistic point of view.
If by the lights of our philosophy of mathematics there are no mathematical entities, it seems mathematical discourse must be abandoned (because mathematical utterances are systematically untrue): such discourse cannot be worthwhile.
In the area of history and philosophy of mathematics there are no book length accounts of mathematical styles that explain the emergence of a certain style with sociological or psychological categories.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com