83:
25:
153:
474:
points out that this last step is too short and contains a gap. A recently published (2006) clarification by the authors shows that their intent was to exhibit a conditional result that was dependent on what they call a "naĂŻvely plausible condition". The 2003 conditional result can be reformulated,
500:
states that "the absence of rigor led to numerous errors (and ambiguities)"; he also rejects da Costa's "naĂŻvely plausible condition", as this assumption is "based partly on the possible non-totality of F and partly on an axiom equivalent to the totality of F".
457:
Basically da Costa and Doria define a formal sentence ' which is the same as P = NP in the standard model for arithmetic; however, because ' by its very definition includes a disjunct that is not refutable in ZFC, ' is not refutable in ZFC, so ZFC + ' is
413:
Da Costa believes that the significant progress in the field of logic will give rise to new fundamental developments in computing and technology, especially in connection with non-classical logics and their applications.
674:
Shyam
Wuppuluri, N.C.A. da Costa (Eds.), "Wittgensteinian (adj.) : Looking at the World from the Viewpoint of Wittgenstein's Philosophy" Springer — The Frontiers Collection, 2019.
927:
795:
984:
974:
771:
850:
454:(consistency of P = NP with fragments of arithmetic) and those of Sazonov and Maté (conditional proofs of the consistency of P = NP with strong systems).
471:
989:
954:
959:
422:
Da Costa was co-discoverer of the truth-set principle and co-creator of the classical logic of variable-binding term operators—both with
410:
is undecidable within that axiomatics. They later exhibited similar results for systems in other areas, such as mathematical economics.
875:
869:
772:
http://hps.master.univ-paris-diderot.fr/sites/hps.master.univ-paris-diderot.fr/files/users/fcontami/Paty,M-2000d-QuantClasDom.pdf
590:. In Stanisław Jaškowski Memorial Symposium, pp. 29–35. Department of Logic, Nicholas Copernicus University of Toruń. 1998.
426:. He is also co-author with Chris Mortensen of the definitive pre-1980 history of variable-binding term operators in classical
387:. He received many awards and held numerous visiting scholarships at universities and centers of research in all continents.
383:. He served as the President of the Brazilian Association of Logic and the Director of the Institute of Mathematics at the
548:. Non-Classical Logics, Model Theory and Computability, North-Holland Publishing Company, Amsterdam, pp. 37–56, 1977.
35:
832:
126:
104:
64:
604:. In P Weingartner (ed.), Alternative Logics: Do Sciences Need them? Berlin: Springer-Verlag, 2004, pp. 95–114.
291:
97:
430:: “Notes on the theory of variable-binding term operators”, History and Philosophy of Logic, vol.4 (1983) 63–72.
979:
969:
622:
in
Computability, Complexity and Constructivity in Economic Analysis, ed. K. V. Velupillai, Blackwell, 2005.
964:
439:
391:
862:
901:
754:
46:
384:
406:, chaotic properties of those systems are undecidable and Gödel-incomplete, that is, a sentence like
423:
403:
184:
91:
824:
Wittgensteinian (adj.) : Looking at the World from the
Viewpoint of Wittgenstein's Philosophy
569:. Philosophia – The Philos. Quarterly of Israel, vol.16, numbers 3 and 4, pp. 293–305, 1988.
328:
890:
108:
736:
722:
796:"Matemático e filósofo Newton da Costa, criador da lógica paraconsistente, morre aos 94 anos"
380:
335:. In addition, he constructed the theory of quasi-truth that constitutes a generalization of
254:
236:
949:
944:
492:
462:(assuming that ZFC is). The paper then continues by an informal proof of the implication
360:
316:
264:
207:
532:
Review of the article by
Corcoran, Hatcher, and Herring on variable-binding term operators
8:
885:
368:
332:
42:
249:
442:, Da Costa published two papers with conditional relative proofs of the consistency of
782:
828:
487:
So far no formal argument has been constructed to show that ZFC + ' is ω-consistent.
427:
395:
356:
574:
Paraconsistent logic as a formalism for reasoning about inconsistent knowledge bases
402:' predicates. They used that technique to show that for the axiomatized version of
180:
259:
855:
822:
364:
669:
Science and
Partial Truth: A Unitary Approach to Models and Scientific Reasoning
480:
451:
399:
938:
660:
N.C.A. da Costa, J.M. Abe, J.I. da Silva Filho, A.C. Murolo and C.F.S. Leite
497:
352:
336:
698:
671:. (Oxford Studies in Philosophy of Science), Oxford University Press, 2003.
348:
896:
Carlos
Caleiro and Ricardo Gonçalves; pages 7–8 contain a section titled
372:
315:
Da Costa's international recognition came especially through his work on
228:
459:
232:
611:. Applied Mathematics and Computation, vol. 145 (2003), 655–665, and
324:
450:. The results they obtain are similar to the results of DeMillo and
376:
295:
287:
283:
282:(16 September 1929 – 16 April 2024) was a Brazilian mathematician,
176:
931:, which contains a description of da Costa’s paraconsistent logic.
615:. Applied Mathematics and Computation, vol. 172 (2006), 1364–1367.
583:, International J. Theoretical Physics, vol. 30 (1991), 1041–1073.
339:'s theory of truth, and applied it to the foundations of science.
152:
443:
367:, and abstract logics. Da Costa significantly contributed to the
555:, History and Philosophy of Logic, vol.4, pp. 63–72, 1983.
785:(Bulletin of Symbolic Logic, v. 10 no. 1, March 2004, p. 118f)
224:
613:
Addendum to "Consequences of an exotic formulation for P=NP"
629:
Applied
Mathematics and Computation, vol. 178 (2006) 83–92.
534:, Zentralblat fur Mathematik, vol. 247, pp. 8–9, 1973.
319:
and its application to various fields such as philosophy,
870:
Talk on the foundations of
Physics (videos in Portuguese)
527:. Curitiba, Brazil: Universidade Federal do Paraná, 1963.
447:
320:
882:, 2nd edition, volume 14, pages 15–107. Springer-Verlag.
581:
Undecidability and incompleteness in classical mechanics
576:. Artificial Intelligence in Medicine 1989; 1: 167–174.
541:. Notre Dame Journal of Formal Logic 1974; 15: 497–510.
342:
821:
Wuppuluri, Shyam; Costa, N.C.A. da (1 November 2012).
761:. Metaphysics Research Lab, Stanford University. 2018.
743:. Metaphysics Research Lab, Stanford University. 2018.
553:
Notes on the theory of variable-binding term operators
904:
34:
may contain excessive or inappropriate references to
16:
Brazilian philosopher and mathematician (1929–2024)
985:Academic staff of the Federal University of Paraná
921:
509:Da Costa died on 16 April 2024, at the age of 94.
417:
686:Sulla teoria delle valutazioni di N.C.A. da Costa
600:N.C.A. da Costa (with O. Bueno and A.G. Volkov),
298:and the title of his 1961 Ph.D. dissertation was
936:
597:History and Philosophy of Logic 1998; 19: 41–54.
496:of the da Costa/Doria papers on P=NP, logician
290:, he studied engineering and mathematics at the
657:. SĂŁo Paulo, Discurso Editorial, 2a. Ed., 1999.
609:Consequences of an exotic definition for P = NP
593:N.C.A. da Costa (with O. Bueno and S. French),
820:
678:
975:Academic staff of the University of SĂŁo Paulo
874:Carnielli, W., Coniglio, M.E., e Marcos, J.,
688:. Naples: Liguori Editore, 1990. Pp. 75.
466:If ZFC + ' is consistent, then so is ZFC + .
891:On the algebraization of many-sorted logics⋆
539:On the theory of inconsistent formal systems
602:Outline of a paraconsistent category theory
300:Topological spaces and continuous functions
864:Newton da Costa, ou: a matemática com arte
643:. Hucitec-EdUSP, 2a. ed., SĂŁo Paulo, 1993.
572:N.C.A. da Costa (with V.S. Subrahmanian),
857:Newton da Costa: Pensador da Contradição
565:N.C.A. da Costa (with Walter Carnielli),
475:according to da Costa and Doria 2006, as
127:Learn how and when to remove this message
65:Learn how and when to remove this message
802:(in Brazilian Portuguese). 17 April 2024
517:
512:
347:The scope of his research also includes
90:This article includes a list of general
759:The Stanford Encyclopedia of Philosophy
741:The Stanford Encyclopedia of Philosophy
937:
783:Schindler's review of the P = NP paper
544:N.C.A. da Costa (with L. Dubikajtis),
955:20th-century Brazilian mathematicians
551:N.C.A. da Costa (with C. Mortensen),
446:with the usual set-theoretic axioms
331:. He was one of the founders of this
45:by removing references to unreliable
851:Biography at Unicamp (in Portuguese)
717:
715:
713:
625:N.C.A. da Costa (with F. A. Doria),
618:N.C.A. da Costa (with F. A. Doria),
607:N.C.A. da Costa (with F. A. Doria),
343:Other fields; foundations of physics
76:
49:where they are used inappropriately.
18:
990:Federal University of Paraná alumni
960:20th-century Brazilian philosophers
579:N.C.A. da Costa (with F.A. Doria),
13:
922:{\displaystyle {\mathcal {C}}_{1}}
908:
648:Logique Classique et Non-Classique
627:Some thoughts on hypercomputation,
310:
96:it lacks sufficient corresponding
14:
1001:
844:
710:
898:Example 3 (Paraconsistent Logic
765:
747:
729:
662:LĂłgica Paraconsistente Applicada
280:Newton Carneiro Affonso da Costa
151:
145:Newton Carneiro Affonso da Costa
81:
23:
880:Handbook of Philosophical Logic
667:N.C.A. da Costa and S. French,
641:LĂłgica Indutiva e Probabilidade
562:. Erkenntnis 1986; 25: 141–162.
546:On Jaskowski's Discussive Logic
525:Sistemas Formais Inconsistentes
418:Variable-binding term operators
876:Logics of Formal Inconsistency
814:
788:
776:
394:axiomatized large portions of
1:
704:
567:Paraconsistent deontic logics
679:Essays on N. C. A. da Costa
483:, then ZFC + is consistent.
292:Federal University of Paraná
286:, and philosopher. Born in
7:
692:
355:, axiomatic foundations of
10:
1006:
664:. SĂŁo Paulo, Atlas, 1999.
655:O conhecimento cientĂfico
433:
273:
242:
220:
213:
203:
191:
162:
150:
143:
633:
504:
404:dynamical systems theory
595:Is there a Zande Logic?
440:Francisco AntĂ´nio DĂłria
392:Francisco AntĂ´nio DĂłria
390:Da Costa and physicist
385:University of SĂŁo Paulo
329:artificial intelligence
305:
111:more precise citations.
923:
886:Google scholar profile
755:"Paraconsistent Logic"
737:"Paraconsistent Logic"
650:. Paris, Masson, 1997.
36:self-published sources
924:
620:Computing the future,
560:Pragmatic probability
518:Articles and lectures
513:Selected publications
470:However, a review by
381:philosophy of science
255:Marcelo Samuel Berman
237:Philosophy of Science
980:Paraconsistent logic
970:People from Curitiba
902:
588:Paraconsistent logic
493:Mathematical Reviews
317:paraconsistent logic
208:Paraconsistent logic
965:Brazilian logicians
490:In his reviews for
369:philosophy of logic
333:non-classical logic
919:
653:N.C.A. da Costa,
646:N.C.A. da Costa,
639:N.C.A. da Costa,
586:N.C.A. da Costa,
558:N.C.A. da Costa,
537:N.C.A. da Costa,
530:N.C.A. da Costa,
523:N.C.A. da Costa,
428:first-order logic
398:with the help of
396:classical physics
371:, paraconsistent
365:complexity theory
277:
276:
265:Itala D'Ottaviano
243:Doctoral students
215:Scientific career
173:16 September 1929
137:
136:
129:
75:
74:
67:
997:
928:
926:
925:
920:
918:
917:
912:
911:
839:
838:
818:
812:
811:
809:
807:
800:Folha de S.Paulo
792:
786:
780:
774:
769:
763:
762:
751:
745:
744:
733:
727:
726:
719:
260:Walter Carnielli
250:Jean-Yves BĂ©ziau
198:
172:
170:
157:Da Costa in 1973
155:
141:
140:
132:
125:
121:
118:
112:
107:this article by
98:inline citations
85:
84:
77:
70:
63:
59:
56:
50:
27:
26:
19:
1005:
1004:
1000:
999:
998:
996:
995:
994:
935:
934:
913:
907:
906:
905:
903:
900:
899:
847:
842:
835:
819:
815:
805:
803:
794:
793:
789:
781:
777:
770:
766:
753:
752:
748:
735:
734:
730:
721:
720:
711:
707:
695:
681:
636:
520:
515:
507:
436:
420:
345:
313:
311:Paraconsistency
308:
269:
196:
187:
174:
168:
166:
158:
146:
133:
122:
116:
113:
103:Please help to
102:
86:
82:
71:
60:
54:
51:
40:
28:
24:
17:
12:
11:
5:
1003:
993:
992:
987:
982:
977:
972:
967:
962:
957:
952:
947:
933:
932:
916:
910:
888:
883:
872:
867:
860:
853:
846:
845:External links
843:
841:
840:
833:
813:
787:
775:
764:
746:
728:
708:
706:
703:
702:
701:
694:
691:
690:
689:
684:Nicola Grana,
680:
677:
676:
675:
672:
665:
658:
651:
644:
635:
632:
631:
630:
623:
616:
605:
598:
591:
584:
577:
570:
563:
556:
549:
542:
535:
528:
519:
516:
514:
511:
506:
503:
485:
484:
479:If ZFC + ' is
472:Ralf Schindler
468:
467:
438:Together with
435:
432:
419:
416:
400:Patrick Suppes
357:quantum theory
351:, generalized
344:
341:
312:
309:
307:
304:
275:
274:
271:
270:
268:
267:
262:
257:
252:
246:
244:
240:
239:
222:
218:
217:
211:
210:
205:
204:Known for
201:
200:
199:(aged 94)
193:
189:
188:
175:
164:
160:
159:
156:
148:
147:
144:
135:
134:
89:
87:
80:
73:
72:
31:
29:
22:
15:
9:
6:
4:
3:
2:
1002:
991:
988:
986:
983:
981:
978:
976:
973:
971:
968:
966:
963:
961:
958:
956:
953:
951:
948:
946:
943:
942:
940:
930:
914:
895:
892:
889:
887:
884:
881:
877:
873:
871:
868:
866:
865:
861:
859:
858:
854:
852:
849:
848:
836:
834:9783030275686
830:
826:
825:
817:
801:
797:
791:
784:
779:
773:
768:
760:
756:
750:
742:
738:
732:
724:
718:
716:
714:
709:
700:
697:
696:
687:
683:
682:
673:
670:
666:
663:
659:
656:
652:
649:
645:
642:
638:
637:
628:
624:
621:
617:
614:
610:
606:
603:
599:
596:
592:
589:
585:
582:
578:
575:
571:
568:
564:
561:
557:
554:
550:
547:
543:
540:
536:
533:
529:
526:
522:
521:
510:
502:
499:
498:Andreas Blass
495:
494:
488:
482:
478:
477:
476:
473:
465:
464:
463:
461:
455:
453:
449:
445:
441:
431:
429:
425:
424:John Corcoran
415:
411:
409:
405:
401:
397:
393:
388:
386:
382:
378:
374:
370:
366:
362:
358:
354:
353:Galois theory
350:
340:
338:
337:Alfred Tarski
334:
330:
326:
322:
318:
303:
301:
297:
293:
289:
285:
281:
272:
266:
263:
261:
258:
256:
253:
251:
248:
247:
245:
241:
238:
234:
230:
226:
223:
219:
216:
212:
209:
206:
202:
195:16 April 2024
194:
190:
186:
182:
178:
165:
161:
154:
149:
142:
139:
131:
128:
120:
110:
106:
100:
99:
93:
88:
79:
78:
69:
66:
58:
48:
44:
38:
37:
32:This article
30:
21:
20:
929:of da Costa)
897:
893:
879:
863:
856:
827:. Springer.
823:
816:
804:. Retrieved
799:
790:
778:
767:
758:
749:
740:
731:
699:Edison Farah
685:
668:
661:
654:
647:
640:
626:
619:
612:
608:
601:
594:
587:
580:
573:
566:
559:
552:
545:
538:
531:
524:
508:
491:
489:
486:
481:ω-consistent
469:
456:
437:
421:
412:
408:X is chaotic
407:
389:
373:modal logics
349:model theory
346:
314:
299:
279:
278:
214:
197:(2024-04-16)
138:
123:
117:January 2013
114:
95:
61:
52:
41:Please help
33:
950:2024 deaths
945:1929 births
229:Mathematics
109:introducing
939:Categories
723:"Cle-Aips"
705:References
460:consistent
361:relativity
233:Philosophy
169:1929-09-16
92:references
55:April 2024
43:improve it
325:computing
806:17 April
693:See also
377:ontology
296:Curitiba
288:Curitiba
284:logician
177:Curitiba
105:improve
47:sources
831:
452:Lipton
444:P = NP
434:P = NP
379:, and
327:, and
221:Fields
185:Brazil
181:Paraná
94:, but
634:Books
505:Death
225:Logic
829:ISBN
808:2024
359:and
306:Work
235:and
192:Died
163:Born
448:ZFC
321:law
294:in
941::
894:by
878:.
798:.
757:.
739:.
712:^
375:,
363:,
323:,
302:.
231:,
227:,
183:,
179:,
915:1
909:C
837:.
810:.
725:.
171:)
167:(
130:)
124:(
119:)
115:(
101:.
68:)
62:(
57:)
53:(
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.