„Stærðfræðileg rökfræði“: Munur á milli breytinga

m
ekkert breytingarágrip
(Ég er með aðra hugmynd að uppsetningu á þessu. Set hana e.t.v. í framkvæmd á morgun. Nú: Svefn.)
 
mEkkert breytingarágrip
 
== Saga ==
Stærðfræðileg rökfræði á rætur sínar að rekja til nokkurra [[:Flokkur:Stærðfræðingar|stærðfræðinga]] sem töldu þörf á aðferð til þess að lýsa rökyrðingum á stærðfræðilegan máta og þörf á heilsteyptu kerfi til þess að sýna fram á sannleiksgildi stærðfræðilegra fullyrðinga. FremsturFremstan í flokki má nefna [[Gottlob Frege]] sem er gjarnan nefndur faðir nútímarökfræði.
 
[[Bertrand Russell]] og [[Alfred North Whitehead]] skrifuðu bókina ''[[Principia Mathematica]]'' í þremur bindum á árunum 1910—1913. Í því riti leituðust þeir eftir því að skilgreina þekkta stærðfræði út frá forsendum stærðfræðilegrar rökfræði.
 
== Rökyrðingar ==
50.763

breytingar