Parakonzistentní matematika - Paraconsistent mathematics

Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. Pomozte prosím určit notabilitu citováním spolehlivé sekundární zdroje to jsou nezávislý tématu a poskytnout jeho významné pokrytí nad rámec pouhé triviální zmínky. Pokud nelze určit významnost, je pravděpodobné, že článek bude sloučeny, přesměrovánnebo smazáno. Najít zdroje: „Parakonzistentní matematika“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Února 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Tento článek obsahuje a seznam doporučení, související čtení nebo externí odkazy, ale jeho zdroje zůstávají nejasné, protože mu chybí vložené citace. Prosím pomozte zlepšit tento článek představuji přesnější citace. (únor 2014) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Parakonzistentní matematika, někdy nazývané nekonzistentní matematika, představuje pokus o rozvoj klasické infrastruktury matematika (např. analýza ) na základě nadace parakonzistentní logika namísto klasická logika. Lze vyvinout řadu přeformulací analýzy, například funkce, které danou hodnotu současně mají i nemají.

Chris Mortensen tvrdí (viz reference):

Sotva by bylo možné ignorovat příklady analýzy a její speciální případ, počet. Ukázalo se, že existuje mnoho míst, kde existují výrazné nekonzistentní postřehy; viz například Mortensen (1995). (1) Robinsonova nestandardní analýza byla založena na nekonečných číslech, množstvích menších než jakékoli reálné číslo a také na jejich převrácených částech, nekonečných číslech. To má nekonzistentní verzi, která má některé výhody pro výpočet ve schopnosti zahodit infinitesimals vyššího řádu. Ukázalo se, že teorie diferenciace má tyto výhody, zatímco teorie integrace nikoli. (2)

Reference

• McKubre-Jordens, M. a Weber, Z. (2012). Msgstr "Skutečná analýza v parakonzistentní logice". Journal of Philosophical Logic 41 (5):901–922. doi: 10.1017 / S1755020309990281
• Mortensen, C. (1995). Nekonzistentní matematika. Dordrecht: Kluwer. ISBN  0-7923-3186-9
• Weber, Z. (2010). "Transfinitní čísla v parakonzistentní teorii množin". Recenze symbolické logiky 3 (1):71–92. doi:10.1017 / S1755020309990281

externí odkazy

• Vstup do Internetová encyklopedie filozofie [1]
• Vstup do Stanfordská encyklopedie filozofie [2]
• Přednášky Manuela Bremera z Düsseldorfské univerzity [3]

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.