Matematická praxe

Termín vyvstával v filozofii matematiky rozlišovat skutečné praxe pracovních matematiků (možnosti teorémů ukázat se jako, neformální notace přesvědčit sebe a jiné že různé kroky v konečném důkazu formalizable, soudcovat a publikace) od konečného výsledku: dokázaný a vydával teorémy.

Tento rozdíl je zvažován obzvláště důležitý přívrženci kvazi-empirismus v matematice, škola v filozofii matematiky to popírá možnost založení matematiky a pokouší se refocus pozornost na cestách matematická sdělení jsou dorazivší u.

Moderní matematické praxe jsou co rozlišovat moderní profesionální matematiky od starších myšlenek na lidovou matematiku. Ti ' lid ' praxe mohou dobře zahrnovat užitečné rovnice nebo algoritmy, ale bez průvodní důkazové kázně.

Evoluce matematické praxe byla pomalá a někteří spolupracovníci moderní matematiky nenásledovali dokonce praxe jejich času, např. Pierre de Fermat kdo byl neslavný pro zatajení jeho důkazů, ale nicméně měl ohromnou pověst pro správná prosazování výsledků. Podobně tam je kontrast mezi praxemi Pythagoras a Euclid. Zatímco Euclid byl původce co my teď rozumíme jak vydával geometrický důkaz, Pythagoras vytvořil uzavřenou komunitu a potlačil výsledky; on je dokonce říkán k přehlušili studenta barelem pro odhalovat existenci iracionálních čísel. Moderní matematici obdivují Euclidovy praxe, a obvykle se šklebit na ty oba Fermat a Pythagoras. Nicméně, všichni tři být považován za důležité přispěvatele matematice, přes rozdílnost v metodě.

Jedna motivace k studiu matematická praxe je to přes hodně práce v 20. století, založení matematiky zůstanou nejasná a dvojznačná. Toto posunulo ohnisko do určité míry na ' co je znamenáno důkazem ' a jiné takové otázky metody.

Viz též: založení matematiky, filozofie matematiky, lidová matematika