Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

2. Petr Hájek: A Scientific Biography

verfasst von : Zuzana Haniková

Erschienen in: Petr Hájek on Mathematical Fuzzy Logic

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Petr Hájek is a renowned Czech logician, whose record in mathematical logic spans half a century. His results leave a permanent imprint in all of his research areas, which can be delimited roughly as set theory, arithmetic, fuzzy logic and reasoning under uncertainty, and information retrieval; some of his results have enjoyed successful applications.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Introduction
Nächstes Kapitel The Logic of Fuzzy Set Theory: A Historical Approach
Fußnoten
1
Formerly, Czechoslovak Academy of Sciences.
 
2
Known under the acronym ‘StB’.
 
3
Currently, Gymnázium Karla Sladkovského.
 
4
In 1963, Petr Vopěnka was twenty-eight, and most of the attendants were undergraduate students.
 
5
The first installment of Vopěnka’s seminar dispersed after 1968.
 
6
Because of his employment, the form was a distance study.
 
7
The name ‘Institute of Computer Science’ was established in 1997, but for simplicity we use it also for the earlier period.
 
8
It was there that he met Petr Cintula.
 
Literatur
Adamowicz, Z. (2009). My cooperation with Petr Hájek. In P. Cintula, Z. Haniková & V. Švejdar (Eds.), Witnessed years: Essays in honour of Petr Hájek. Tributes (Vol. 10, pp. 53–55.). London: College Publications.
Baaz, M. (2009). Recollections of a non-contradictory logician. In P. Cintula, Z. Haniková & V. Švejdar (Eds.), Witnessed years: Essays in honour of Petr Hájek. Tributes (Vol. 10, pp. 57–60). London: College Publications.
Cignoli, R., D’Ottaviano, I. M. L., & Mundici, D. (1999). Algebraic foundations of many-valued reasoning. Trends in logic (Vol. 7). Dordrecht: Kluwer.
Cintula, P. (2005). From fuzzy logic to fuzzy mathematics. Doctoral dissertation, Czech Technical University in Prague, Faculty of Nuclear Sciences and Physical Engineering.
Clote, P. G., & Krajíček, J. (Eds.) (1993). Arithmetic, proof theory, and computational complexity. Oxford logic guides (Vol. 23). New York: Clarendon Press.
Daniel, M. (1993). Dempsterova pologrupa a práce s nejistotou v pravidlově orientovaných expertních systémech. ÚIVT AV ČR: Kandidátská disertační práce.
Feferman, S. (1960). Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae, 49, 35–92.MathSciNetMATH
Goguen, J. A. (1969). The logic of inexact concepts. Synthese, 19(3–4), 325–373.
Gottwald, S. (2001). A treatise on many-valued logics. Studies in logic and computation (Vol. 9). Baldock: Research Studies Press.
Hájek, P. (1965). Modely teorie množin s individuy. Matematický ústav ČSAV: Kandidátská práce.
Hájek, P. (1990). Metamatematika aritmetiky prvního řádu. Matematický ústav ČSAV: Doktorská disertační práce.
Hájek, P. (1994). On logics of approximate reasoning. In M. Masuch & L. Pólos (Eds.), Knowledge representation and reasoning under uncertainty. Lecture notes in computer science (Vol. 808, pp. 17–29). New York: Springer.
Hájek, P. (1998). Metamathematics of fuzzy logic. Trends in logic (Vol. 4). Dordrecht: Kluwer.
Hájek, P. (2002). Zemřel profesor Karel Čulík. Pokroky matematiky, fyziky a astronomie, 4, 344–348.
Hájek, P., & Haniková, Z. (2003). A development of set theory in fuzzy logic. In M. C. Fitting & E. Orlowska (Eds.), Beyond two: Theory and applications of multiple-valued logic. Studies in fuzziness and soft computing (Vol. 114, pp. 273–285). Heidelberg: Physica.
Hájek, P., Havel, I., & Chytil, M. (1966). Guha—metoda automatického zjišt’ování hypotéz. Kybernetika, 2(1), 31–47.MathSciNet
Hájek, P., & Havránek, T. (1978). Mechanizing hypothesis formation: Mathematical foundations of a general theory. Berlin: Springer.CrossRef
Hájek, P., Havránek, T., & Chytil, M. (1983). Metoda GUHA: Automatická tvorba hypotéz. Praha: Academia.
Hájek, P., Havránek, T., & Jiroušek, R. (1992). Uncertain information processing in expert systems. Boca Raton: CRC Press.
Hájek, P., & Pudlák, P. (1993). Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Berlin: Springer.
Hájková, M. (2009). My life with Petr, Petr’s life with me. In P. Cintula, Z. Haniková & V. Švejdar (Eds.), Witnessed years: Essays in honour of Petr Hájek. Tributes (Vol. 10, pp. 9–12). London: College Publications.
Haniková, Z. (2004). Mathematical and metamathematical properties of fuzzy logic. PhD thesis, Charles University in Prague, Faculty of Mathematics and Physics.
Ivánek, J. (1984). Příspěvky k matematické teorii generování hypotéz. Matematický ústav ČSAV: Kandidátská disertační práce.
Novák, V., Perfilieva, I., & Močkoř, J. (2000). Mathematical principles of fuzzy logic. Dordrecht: Kluwer.
Pavelka, J. (1979). On fuzzy logic I, II, III. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 25, 45–52, 119–134, 447–464.
Pudlák, P. (2009). Arithmetics in prague in the 1970–80s. In P. Cintula, Z. Haniková & V. Švejdar (Eds.), Witnessed years: essays in honour of Petr Hájek. Tributes (Vol. 10, pp. 27–31). London: College Publications.
Pultr, A. (1976). Fuzzy mappings and fuzzy sets. Commentationes Mathematicae Universitatis Carolinae, 17(3), 441–459.MathSciNetMATH
Rauch, J. (1986). Logické základy automatické tvorby hypotéz z databází. Matematický ústav ČSAV: Kandidátská disertace.
Rieger, L. S. (1960). Problém tzv. absolutně nerozhodnutelných vět teorie čísel. Časopis pro pěstování matematiky, 85(1), 1–13.
Švejdar, V. (1982). Modální logika a interpretovatelnost. Kandidátská disertační práce.
Valdés, J. J. (1987). Algebraic and logical foundations of uncertainty processing in rule-based expert systems of artificial intelligence. Kandidátská disertační práce, Matematický ústav ČSAV.
Vopěnka, P. (1979). Úvod do matematiky v alternatívnej teórii množín, Alfa Bratislava.
Vopěnka, P. (2009). Prague set theory seminar. In P. Cintula, Z. Haniková & V. Švejdar (Eds.), Witnessed years: Essays in honour of Petr Hájek. Tributes (Vol. 10, pp. 5–8). London: College Publications.
Vopěnka, P. (2009). The problem of actualizability of the classical infinity. In P. Cintula, Z. Haniková, & V. Švejdar (Eds.), Witnessed years: Essays in honour of Petr Hájek. Tributes (Vol. 10, pp. 13–26). London: College Publications.
Vopěnka, P., & Hájek, P. (1972). The theory of semisets. Amsterdam: Academia Praha/North-Holland Publishing Company.
Metadaten
Titel
Petr Hájek: A Scientific Biography
verfasst von
Zuzana Haniková
Copyright-Jahr
2015
Buch
Petr Hájek on Mathematical Fuzzy Logic

Print ISBN: 978-3-319-06232-7

Electronic ISBN: 978-3-319-06233-4

Copyright-Jahr: 2015

DOI
https://doi.org/10.1007/978-3-319-06233-4_2