84:
74:
53:
283:
418:
formal system" is itself one of the definitions of mathematics (already there as "formalism", though not in those words). We should include the most common definitions, modern definitions, ancient definitions, and even some unpopular definitions at the end, all ideally in the words of the people who originated them. Hopefully before long, it will make sense to link to this page from the much-fought-over first paragraph of
22:
185:
158:
195:
601:
The
European Patent Convention (EPC) excludes mathematical methods (only "as such", but that is a different debate). The rules of the law of treaties (as laid down in the Vienna Convention on that topic) phraes the following obligation: "A treaty shall be interpreted in good faith in accordance with
569:
What I find remarkable is that there is no question what the domains of math are (perhaps some fuzziness over pure versus applied, but that's all). And yet, though mathematicians agree on what is and what isn't math, no one seems to be able to give a clear definition, other than listing the domains,
479:
Let's give this a few weeks to develop. So far, only one person (me) has edited the body of the article. I envision it as a coherent article, including history and comparisons of ideas, not just a list (see "To do", above). Of course, it might develop into something different than what I envision,
401:
Finally, by "mathematics" do we mean using any formal system, or are we talking modern mathematics; relatedly, it would be good if we could find some material that helps draw a line between exactly what is logic and exactly what is mathematics(I've read articles saying math was just logic, others
417:
I look forward to seeing the information that you find, Phoenix. A known problem involving representations of numbers under one definition that doesn't occur under another definition would be fantastic. That would give a reader a really clear idea of what the controversy is about. I think "any
351:
Sourcing on just how controversial the definitions of mathematics really are. For example, has anyone conducted polls of mathematicians? I have heard repeatedly that most practicing mathematicians don't care about the definition of mathematics. If anyone has a source on that, please post
323:
the main definitions of mathematics found in the literature without making
Knowledge take a side in the controversy. Let's convert our differences of opinion into a really good introduction to the opposing definitions of mathematics that any lay reader can understand and find valuable.
612:
US courts for some time distinguished mathematical from non-mathematical algorithms. For mathematicians this distinction may be preposterous, but a lower court actually was compelled to make that distinction in order to be able to reconcile the
Supreme Court pecedent with basic logic.
597:
Ontological definitions try to grasp the essence of something. That is always hard, and for maths it may be harder than for anything else. But there are also teleogical definitions, used e.g. by lawyers for a specific purpose. And there may be a colloquial definiton.
397:
As for format, perhaps we could discuss each perspective under a different heading presenting a run down of what the view is, its history, arguments for it, and ending with some criticisms. This would organize everything coherently and give each concept equal
489:
Here's why I don't think it belongs on
Wiktionary: this article isn't trying to define different senses of the word "mathematics", it's comparing and contrasting the many proposals and controversies over how best to define mathematics (the thing, not the
393:
I recall reading, but can't remember where, an article about how the differences between representations of numbers as sets presents a problem for realists, I don't think it does, but if anyone knows what I'm talking about, it would be an interesting
642:
to make a ruling on matters of controversy. Hopefully we can do a good job telling the main definitions of mathematics that have been advanced, and the main reasons people have given for them. On the other hand, are you aware of any
549:
I saw somewhere on the web, which I can't find now, a quotation which said: "Mathematics is the study of any and all absolute truth." ... but then there's
Probability ... approximation ... multi-valued logic ... :-p
593:
Perhaps it seems an endless recursion issue at first sight, but I do believe it is helpful to consider the definition of definition for a moment. Or, in more practical terms, to distinguish types of definitions.
602:
the ordinary meaning to be given to the terms of the treaty in their context and in the light of its object and purpose." (art. 31(1)). So what is the "ordinary meaning" of "mathematical methods"?
616:
In 1998, the (alleged) "mathematical algorithm exception" in US patent law was abolished (or actually denied). The result is a tsunami of crazy patents (see Ben
Klemens, Math You Can't Use). So
140:
609:
real people. While lawyers often solve definition problems by adopting their own definition, in this case the law of treaties does not allow that (the EPC is an international treaty).
484:
simply because it focuses on definitions, a common topic of argument, often by people who are unaware of how old the controversy is and the main lines of thought that have developed.
667:. I think a discussion of the legal status and economic consequences of the definition of mathematics could be an important addition to this article, as long as it is kept
574:
that clearly and unarguably unifies all of math. We all recognize it when we see it. "This is math. This is not." Why can't we put our finger on it? Or has someone? ... --
216:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
714:
253:
243:
704:
130:
647:
that tell about legal and economic consequences of different definitions of mathematics? If so, that sounds salient enough to belong in this article. —
527:
Seems like some of the current content might be readily copied/adapted to wiktionary to augment the entry there. (Doesn't mean have to remove here.)
724:
106:
699:
218:
709:
729:
97:
58:
208:
163:
719:
517:
457:
33:
290:
168:
521:
481:
461:
565:
Well, if you can find the source, and it is reputable (say, by an established mathematician), then include it.
605:
Here a proper definition of "mathematics" is of great importance. An incorrect interpretation may really
524:? (it was the Definitions that suggested this was a list). Or what is the matter called in the field?
407:
39:
83:
403:
339:
Information, for each major definition, on why it hasn't been accepted (that is, the main objections)
21:
652:
500:
435:
374:
315:
Instead of having edit wars and arguments about which definition belongs in the first sentence of
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
555:
89:
73:
52:
680:
625:
579:
387:
I've always heard that most mathematicians were platonists, though I doubt this is verifiable.
200:
532:
469:
383:
I don't have any sources handy at the moment, but I have the following responses/points:
319:, or which is the true definition of mathematics, please improve this page by explaining
684:
664:
656:
648:
629:
583:
559:
536:
504:
496:
473:
439:
431:
423:
411:
378:
370:
360:
348:
The 1933 OED definition is actually
Kantian. Let's put up Kant's definition explicitly.
282:
693:
668:
639:
551:
427:
676:
672:
635:
621:
575:
342:
Brief explanations of how each definition relates to the broader school of thought
644:
419:
316:
102:
528:
465:
363:
what
Knowledge is. Please just do a wonderful job summarizing the literature.
213:
190:
79:
345:
The associated definitions of fundamental mathematical concepts like "number"
516:
Still think a name change might help clarify the articles intent - perhaps
513:
Thanks. It wasn't obvious from the article what direction this was heading.
390:
I'll try to add some stuff about Platonism/Mathematical Realism on monday
402:
saying logic is math, etc. so it would be good to discuss the matter.)
212:, a collaborative effort to improve the coverage of content related to
460:). If extends beyond a list, how differentiate from something like
359:
Naturally, please do not post your own opinions about math. That is
184:
157:
453:. The entry there doesn't have near the depth that this does.
15:
336:
More definitions of mathematics from more schools of thought
281:
570:
which becomes a circular definition. Clearly we recognize
456:
If stays here, should it be classified/renamed as a list (
450:
366:
Many thanks for your efforts to make this a great page.
101:, a collaborative effort to improve the coverage of
264:
332:Here are some things that this article could use:
449:Seems like this content might make more sense in
422:, so we can cover the many opposing definitions
8:
620:rule for mathematics seems appropriate ...
671:. Please feel free to add such a section,
261:
152:
47:
518:Comparison of definitions of mathematics
154:
49:
19:
638:, these are all fine points, but it's
222:about philosophy content on Knowledge.
7:
206:This article is within the scope of
95:This article is within the scope of
480:and that's OK. It's different from
38:It is of interest to the following
715:Mid-importance Philosophy articles
458:List of definitions of mathematics
14:
705:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
228:Knowledge:WikiProject Philosophy
193:
183:
156:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
248:This article has been rated as
231:Template:WikiProject Philosophy
135:This article has been rated as
1:
725:Mid-importance logic articles
412:17:46, 28 February 2009 (UTC)
379:15:23, 22 February 2009 (UTC)
109:and see a list of open tasks.
700:C-Class mathematics articles
589:The definition of definition
584:02:04, 30 October 2009 (UTC)
710:C-Class Philosophy articles
630:09:50, 13 August 2010 (UTC)
746:
685:16:33, 11 March 2011 (UTC)
657:15:58, 11 March 2011 (UTC)
254:project's importance scale
730:Logic task force articles
560:17:40, 3 March 2009 (UTC)
537:23:39, 2 March 2009 (UTC)
522:Definition of mathematics
505:14:54, 2 March 2009 (UTC)
482:Philosophy of mathematics
474:20:59, 1 March 2009 (UTC)
462:Philosophy of mathematics
440:10:10, 1 March 2009 (UTC)
289:
260:
247:
178:
134:
67:
46:
141:project's priority scale
445:Knowledge vs Wiktionary
265:Associated task forces:
98:WikiProject Mathematics
720:C-Class logic articles
355:A nicer-looking format
286:
209:WikiProject Philosophy
28:This article is rated
640:not Knowledge's place
424:without taking a side
285:
545:What is mathematics?
428:no original research
121:mathematics articles
234:Philosophy articles
287:
219:general discussion
90:Mathematics portal
34:content assessment
308:
307:
304:
303:
300:
299:
296:
295:
201:Philosophy portal
151:
150:
147:
146:
737:
272:
262:
236:
235:
232:
229:
226:
203:
198:
197:
196:
187:
180:
179:
174:
171:
160:
153:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
745:
744:
740:
739:
738:
736:
735:
734:
690:
689:
591:
547:
447:
330:
313:
270:
233:
230:
227:
224:
223:
199:
194:
192:
172:
166:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
743:
741:
733:
732:
727:
722:
717:
712:
707:
702:
692:
691:
688:
687:
660:
659:
590:
587:
567:
566:
546:
543:
542:
541:
540:
539:
525:
514:
508:
507:
492:
491:
486:
485:
446:
443:
415:
414:
399:
395:
391:
388:
357:
356:
353:
349:
346:
343:
340:
337:
329:
326:
312:
309:
306:
305:
302:
301:
298:
297:
294:
293:
288:
278:
277:
275:
273:
267:
266:
258:
257:
250:Mid-importance
246:
240:
239:
237:
205:
204:
188:
176:
175:
173:Mid‑importance
161:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
742:
731:
728:
726:
723:
721:
718:
716:
713:
711:
708:
706:
703:
701:
698:
697:
695:
686:
682:
678:
674:
670:
666:
663:I agree with
662:
661:
658:
654:
650:
646:
641:
637:
634:
633:
632:
631:
627:
623:
619:
614:
610:
608:
603:
599:
595:
588:
586:
585:
581:
577:
573:
564:
563:
562:
561:
557:
553:
544:
538:
534:
530:
526:
523:
519:
515:
512:
511:
510:
509:
506:
502:
498:
494:
493:
488:
487:
483:
478:
477:
476:
475:
471:
467:
463:
459:
454:
452:
444:
442:
441:
437:
433:
429:
425:
421:
413:
409:
405:
400:
398:prominenance.
396:
392:
389:
386:
385:
384:
381:
380:
376:
372:
367:
364:
362:
354:
350:
347:
344:
341:
338:
335:
334:
333:
327:
325:
322:
318:
310:
292:
284:
280:
279:
276:
274:
269:
268:
263:
259:
255:
251:
245:
242:
241:
238:
221:
220:
215:
211:
210:
202:
191:
189:
186:
182:
181:
177:
170:
165:
162:
159:
155:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
617:
615:
611:
606:
604:
600:
596:
592:
571:
568:
548:
455:
448:
416:
382:
368:
365:
358:
331:
320:
314:
249:
217:
207:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
420:Mathematics
404:Phoenix1177
317:mathematics
112:Mathematics
103:mathematics
59:Mathematics
694:Categories
665:Ben Kovitz
649:Ben Kovitz
520:, or just
497:Ben Kovitz
451:Wiktionary
432:Ben Kovitz
394:criticsim.
371:Ben Kovitz
225:Philosophy
214:philosophy
164:Philosophy
572:something
426:and with
552:Charvest
677:seberle
673:Rbakels
645:sources
636:Rbakels
622:Rbakels
576:seberle
311:Context
252:on the
139:on the
30:C-class
490:word).
36:scale.
529:Zodon
466:Zodon
328:To do
291:Logic
169:Logic
681:talk
675:. --
653:talk
626:talk
618:some
607:ruin
580:talk
556:talk
533:talk
501:talk
470:talk
436:talk
408:talk
375:talk
669:NPV
430:. —
361:not
352:it.
321:all
244:Mid
131:Mid
696::
683:)
655:)
628:)
582:)
558:)
535:)
503:)
472:)
464:?
438:)
410:)
377:)
369:--
271:/
167::
679:(
651:(
624:(
578:(
554:(
531:(
499:(
495:—
468:(
434:(
406:(
373:(
256:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.