DiscoverMCMP – LogicDoing mathematics paraconsistently. A manifesto
Doing mathematics paraconsistently. A manifesto

Doing mathematics paraconsistently. A manifesto

Update: 2019-04-182
Share

Description

Maarten McKubre-Jordens (Canterbury) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Doing mathematics paraconsistently. A manifesto". Abstract: In this talk, we outline several motivations for conducting mathematics–in the style of the working mathematician–without dependence on assumptions of non-contradiction. The story involves a short analysis of theorem and counterexample, what it is to reason paraconsistently within mathematics, and takes note of some non-traditional obstacles and attempts to resolve them. In part, this will provide motivation to the mathematician to think outside the box when approaching surprising conclusions within the usual framework. Then, as we delve into the mathematics, we survey some recent results in elementary analysis when performed paraconsistently, and outline some conjectures for future research. This talk is of interest both to provide reasons and techniques for paraconsistent mathematics, and to show how rich a picture can be painted without recourse to assumptions of non-contradiction.
Comments 
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

Doing mathematics paraconsistently. A manifesto

Doing mathematics paraconsistently. A manifesto

Maarten McKubre-Jordens (Canterbury)