Melvin Fitting - Melvin Fitting - Wikipedia

Melvin Fitting
narozený (1942-01-24) 24. ledna 1942 (věk 78)
Alma mater
OceněníHerbrand Award od CADE, červen 2012
Vědecká kariéra
PoleMatematika, filozofie, informatika
InstituceCity University of New York
Doktorský poradceRaymond Smullyan

Melvin Fitting (narozen 24. ledna 1942) je a logik se zvláštními zájmy v filozofická logika a živý obraz kontrolní systémy.[A] Byl profesorem na City University of New York, Lehman College a Centrum absolventů.[1]:723–724 od roku 1968 do roku 2013. Na Centrum absolventů působil na katedrách informatiky, filozofie a matematiky a na Lehman College na katedře matematiky a informatiky. Nyní je profesorem emeritní.

Fitting se narodil v Troy, New York. Jeho vysokoškolský titul je z Rensselaer Polytechnic Institute a jeho doktorát je z Yeshiva University, a to jak v matematice. Jeho vedoucí práce byl Raymond Smullyan.

V červnu 2012 společnost Melvin Fitting získala Herbrand Award autorem CADE za významné příspěvky do automatický odpočet.[b]

Volnou motivaci pro většinu práce Melvin Fitting lze stručně formulovat následovně. Existuje mnoho logik. Naše zásady uvažování se liší v závislosti na kontextu a předmětu. Násobnost je jednou ze slávy moderní formální logiky. Společná logika vázání vláken dohromady se týká toho, co lze říci (syntaxe), co to znamená (sémantika), a vztahů mezi nimi. Ukázalo se, že filozofická pozice, kterou lze ztělesnit ve formální logice, je koherentní, nikoli správná. Logika je nástroj, nikoli mistr, ale je to příjemný nástroj k použití.[Citace je zapotřebí ]

Poznámky

  1. ^ „Zpráva Citace Google Scholar pro společnost Melvin Fitting“.
  2. ^ Přední vědecký pracovník v oboru matematiky a počítačových věd získal prestižní cenu

Reference

  1. ^ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Výpočetní logika - Pokusy o čest Alana Robinsona. Cambridge / MA: MIT Press. ISBN  978-0-262-12156-9.

externí odkazy