Sinossi
In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality Considering only pure sets, the naive set comprehension principle says, for anycondition, that there is a set containing all and only the sets satisfying this condition. Infirst-order logic, this can be formulated as the following schematic principle, where ϕmay be any formula in whichy does not occur freely: yxx y ϕ. 1.1 Russell’s paradox shows that the instance obtained by letting ϕ be x x isinconsistent in classical logic. One response to the paradox is to restrict naive setcomprehension by ruling out this and other problematic instances: only for each of somespecial conditions is it claimed there is a set containing all and only the sets satisfyingthe condition.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Set theory INC^# based on intuitionistic logic with...
Immagini fornite dal venditore
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Editore:
LAP LAMBERT Academic Publishing Jun 2021, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality Considering only pure sets, the naive set comprehension principle says, for anycondition, that there is a set containing all and only the sets satisfying this condition. Infirst-order logic, this can be formulated as the following schematic principle, where may be any formula in whichy does not occur freely: yxx y . 1.1 Russell's paradox shows that the instance obtained by letting be x x isinconsistent in classical logic. One response to the paradox is to restrict naive setcomprehension by ruling out this and other problematic instances: only for each of somespecial conditions is it claimed there is a set containing all and only the sets satisfyingthe condition. 60 pp. Englisch. Codice articolo 9786203925357
Compra nuovo
EUR 32,90
EUR 23,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Editore:
LAP LAMBERT Academic Publishing, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Foukzon JaykovJaykov Foukzon (born October I, 1954). Nationality: Soviet Union. Education: Moscow State University (1976). Doctoral adviser: Lev Pontryagin. Soviet and Russian mathematician and physicist.Institutions: Russian Space R. Codice articolo 485142424
Compra nuovo
EUR 29,02
EUR 48,99 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Editore:
LAP LAMBERT Academic Publishing Jun 2021, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality Considering only pure sets, the naive set comprehension principle says, for anycondition, that there is a set containing all and only the sets satisfying this condition. Infirst-order logic, this can be formulated as the following schematic principle, where ¿may be any formula in whichy does not occur freely: yxx y ¿. 1.1 Russell¿s paradox shows that the instance obtained by letting ¿ be x x isinconsistent in classical logic. One response to the paradox is to restrict naive setcomprehension by ruling out this and other problematic instances: only for each of somespecial conditions is it claimed there is a set containing all and only the sets satisfyingthe condition.Books on Demand GmbH, Überseering 33, 22297 Hamburg 60 pp. Englisch. Codice articolo 9786203925357
Compra nuovo
EUR 32,90
EUR 60,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Editore:
LAP LAMBERT Academic Publishing, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality Considering only pure sets, the naive set comprehension principle says, for anycondition, that there is a set containing all and only the sets satisfying this condition. Infirst-order logic, this can be formulated as the following schematic principle, where may be any formula in whichy does not occur freely: yxx y . 1.1 Russell's paradox shows that the instance obtained by letting be x x isinconsistent in classical logic. One response to the paradox is to restrict naive setcomprehension by ruling out this and other problematic instances: only for each of somespecial conditions is it claimed there is a set containing all and only the sets satisfyingthe condition. Codice articolo 9786203925357
Compra nuovo
EUR 34,42
EUR 60,54 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Editore:
LAP LAMBERT Academic Publishing, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
Nuovo
Taschenbuch
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Set theory INC^# based on intuitionistic logic with restricted modus ponens rule | Jaykov Foukzon | Taschenbuch | Englisch | 2021 | LAP LAMBERT Academic Publishing | EAN 9786203925357 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Codice articolo 120310404
Compra nuovo
EUR 29,50
EUR 70,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili