Advertisement

Introduction

  • Apostolos Syropoulos
Chapter
Part of the IFSR International Series on Systems Science and Engineering book series (IFSR, volume 31)

Abstract

The fusion of computability theory (CP) with fuzzy set theory (FST) demands a good knowledge of both theories. Thus, this introductory chapter tries to familiarize readers with a number of concepts and ideas that are necessary for the rest of this book. In particular, I start with a review of the events that lead to what is now known as computer science and then I give an overview of FST. The chapter concludes with a description of what the fusion of CP with FST is about and what to expect from it.

Keywords

Fuzzy Logic Turing Machine Membership Degree Deductive System Fuzzy Subset 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [3]
    Aristotle: Organo: Categoriae and De Interpretatione. Kaktos Editions, Athens (1994)Google Scholar
  2. [8]
    Baumeister, R.F.: The Cultural Animal: Human Nature, Meaning, and Social Life. Oxford University Press, Oxford (2005)CrossRefGoogle Scholar
  3. [17]
    Black, M.: Vagueness: An exercise in logical analysis. Philos. Sci. 4(4), 427–455 (1937)CrossRefGoogle Scholar
  4. [24]
    Cheeseman, P.: Discussion: Fuzzy thinking. Technometrics 37(3), 282–283 (1995)CrossRefGoogle Scholar
  5. [25]
    Church, A.: A set of postulates for the foundation of logic. Ann. Math. 33(2), 346–366 (1932)MathSciNetCrossRefGoogle Scholar
  6. [26]
    Church, A.: A set of postulates for the foundation of logic (second paper). Ann. Math. 34(4), 839–864 (1933)MathSciNetCrossRefMATHGoogle Scholar
  7. [27]
    Church, A.: A note on the entscheidungsproblem. J. Symbolic Logic 1(1), 40–41 (1936)CrossRefGoogle Scholar
  8. [28]
    Church, A.: An unsolvable problem of elementary number theory. J. Math. 58(2), 345–363 (1936)MathSciNetCrossRefGoogle Scholar
  9. [33]
    Conway, J.H., Kochen, S.: The free will theorem. Found. Phys. 36(10), 1441–1473 (2006)MathSciNetCrossRefMATHGoogle Scholar
  10. [34]
    Conway, J.H., Kochen, S.: The Strong Free Will Theorem. Notice. AMS 56(2), 226–232 (2009)MathSciNetMATHGoogle Scholar
  11. [35]
    Cook, D.B.: Probability and Schrödinger’s Mechanics. World Scientific, Singapore (2002)CrossRefMATHGoogle Scholar
  12. [41]
    Derbyshire, J.: Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics. Penguin Group, New York (2004)Google Scholar
  13. [44]
    Düntsch, I.: A logic for rough sets. Theor. Comput. Sci. 179(1–2), 427–436 (1997)CrossRefMATHGoogle Scholar
  14. [52]
    Girard, J.-Y.: Locus Solum: From the rules of logic to the logic of rules. Math. Struct. Comput. Sci. 11, 301–506 (2001)MathSciNetCrossRefMATHGoogle Scholar
  15. [53]
    Gödel, K.: On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Dover Publications, New York (1992) (Translated by B. Meltzer; introduction by R.B. Braithwaite)MATHGoogle Scholar
  16. [56]
    Goldstine, H.H.: The Computer: From Pascal to von Neumann. Princeton University Press, Princeton (1992)Google Scholar
  17. [57]
    Gottwald, S.: Many-valued logic and fuzzy set theory. In: Höhle, U., Rodabaugh, S.E. (eds.) Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, pp. 5–89. Kluwer Academic Publishers, Dordrecht (1999)CrossRefGoogle Scholar
  18. [58]
    Gottwald, S.: Universes of fuzzy sets and axiomatizations of fuzzy set theory. Part I: Model-based and axiomatic approaches. Stud. Logica 82, 211–244 (2006)MathSciNetMATHGoogle Scholar
  19. [59]
    Gottwald, S.: Universes of fuzzy sets and axiomatizations of fuzzy set theory. Part II: Category theoretic approaches. Stud. Logica 84, 23–50 (2006)MathSciNetCrossRefMATHGoogle Scholar
  20. [60]
    Gottwald, S.: An early approach toward graded identity and graded membership in set theory. Fuzzy Set. Syst. 161, 2369–2379 (2010)MathSciNetCrossRefMATHGoogle Scholar
  21. [62]
    Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)Google Scholar
  22. [65]
    Hilbert, D.: Mathematical problems. Bull. Ame. Math. Soc. 8(10), 437–479 (1902) [Translated for the Bulletin of the American Mathematical Society, with the author’s permission, by Mary Winston Newson. The original appeared in the Göttinger Nachrichten, pp. 253–297 (1900) and in the Archiv der Mathernatik und Physik, 3d series, vol. 1, pp. 44–63 and 213–237 (1901)]Google Scholar
  23. [68]
    Hyde, D.: Sorites paradox. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, fall 2008 edn. (2008)Google Scholar
  24. [69]
    Jones, N.D., Gomard, C.K., Sestoff, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall International, Hemel Hempstead (1993)MATHGoogle Scholar
  25. [72]
    Klaua, D.: An early approach toward graded identity and graded membership in set theory. Math. Nachr. 33(5–6), 273–296 (1967)MathSciNetCrossRefMATHGoogle Scholar
  26. [74]
    Kleene, S.C., Rosser, J.B.: The inconsistency of certain formal logics. Ann. Math. 36(3), 630–636 (1935)MathSciNetCrossRefGoogle Scholar
  27. [80]
    Kosko, B.: Fuzziness vs. probability. Int. J. Gen. Syst. 17(2), 211–240 (1990)Google Scholar
  28. [81]
    Laviolette, M., Seaman, Jr., J.W., Barrett, J.D., Woodall, W.H.: A probabilistic and statistical view of fuzzy methods. Technometrics 37(3), 249–261 (1995)CrossRefMATHGoogle Scholar
  29. [90]
    Mac Lane, S.: Mathematics: Form and Function. Springer, New York (1986)CrossRefGoogle Scholar
  30. [93]
    Minsky, M.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs, NJ, USA, 1967.MATHGoogle Scholar
  31. [96]
    Nagel, E., Newman, J.R.: Gödel’s Proof. New York University Press, New York (2001) (Edited and with a new forward by Douglas R. Hofstadter)MATHGoogle Scholar
  32. [98]
    Papadopoulos, B.K., Syropoulos, A.: Fuzzy sets and fuzzy relational structures as chu spaces. Int. J. Uncertain. Fuzz. Knowledge-Based Syst. 8(4), 471–479 (2000)MathSciNetMATHGoogle Scholar
  33. [99]
    Papadopoulos, B.K., Syropoulos, A.: Categorical relationships between Goguen sets and “two-sided” categorical models of linear logic. Fuzzy Set. Syst. 149, 501–508 (2005)MathSciNetCrossRefMATHGoogle Scholar
  34. [105]
    Petzold, C.: The Annotated Turing: A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine. Wiley Publishing, Inc., Indianapolis (2008)Google Scholar
  35. [107]
    Pykacz, J., D’Hooghe, B., Zapatrin, R.R.: Quantum computers as fuzzy computers. In: Reusch, B. (ed.) Fuzzy Days 2001. Lecture Notes in Computer Science, vol. 2206, pp. 526—535. Springer, Berlin (2001)Google Scholar
  36. [109]
    Rogers, Jr., H.: Theory of Recursive Functions and Effective Computability. The MIT Press, Cambridge (1987).Google Scholar
  37. [110]
    Russell, B.: Vagueness. Austral. J. Philos. 1(2), 84–92 (1923)Google Scholar
  38. [118]
    Searle, J.R.: Mind: A Brief Introduction. Oxford University Press, Oxford (2004)Google Scholar
  39. [121]
    Sorensen, R.: Vagueness. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, fall 2008 edn. (2008)Google Scholar
  40. [123]
    Syropoulos, A.: Mathematics of multisets. In: Calude, C.S., Păun, G., Rozenberg, G., Salomaa, A. (eds.) Lecture Notes in Computer Science, vol. 2235, pp. 347–358. Springer, Heidelberg (2001)Google Scholar
  41. [125]
    Syropoulos, A.: Yet another fuzzy model for linear logic. Int. J. Uncertain. Fuzz. Knowledge-Based Syst. 14(1), 131–135 (2006)MathSciNetCrossRefMATHGoogle Scholar
  42. [126]
    Syropoulos, A.: Hypercomputation: Computing Beyond the Church-Turing Barrier. Springer New York, Inc., Secaucus (2008)CrossRefGoogle Scholar
  43. [132]
    Taylor, J.R.: An Introduction to Error Analysis: The Study of Uncertainties in Physical Measurements, 2nd edn. University Science Books, Sausalito (1997)Google Scholar
  44. [133]
    Thiele, R.: Hilbert’s twenty-fourth problem. Am. Math. Mon. 110(1), 1–24 (2003)MathSciNetCrossRefMATHGoogle Scholar
  45. [135]
    Turing, A.M.: On Computable Numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. 42, 230–265 (1936)MathSciNetGoogle Scholar
  46. [139]
    Vuillemin, J.: Necessity or Contingency: The Master Argument. Center for the Study of Language and Information, Stanford (1996)MATHGoogle Scholar
  47. [144]
    Zadeh, L.A.: Fuzzy sets. Inf. Contr. 8, 338–353 (1965)MathSciNetCrossRefMATHGoogle Scholar
  48. [148]
    Zadeh, L.A.: Discussion: Probability theory and fuzzy logic are complementary rather than competitive. Technometrics 37(3), 271–276 (1995)CrossRefGoogle Scholar
  49. [151]
    Zadeh, L.A.: Is there a need for fuzzy logic? Inf. Sci. 178, 2751–2779 (2008)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  • Apostolos Syropoulos
    • 1
  1. 1.XanthiGreece

Personalised recommendations