Melvin-sovitus - Melvin Fitting

Melvin Fitting (s. 24. tammikuuta 1942) on logistiikka, jolla on erityisiä kiinnostuksia filosofiseen logiikkaan ja tableau proof -järjestelmiin. Hän oli professori New Yorkin kaupungin yliopistossa , Lehman Collegessa ja tutkijakeskuksessa . vuodesta 1968 vuoteen 2013. Tutkijakeskuksessa hän työskenteli tietojenkäsittelytieteen, filosofian ja matematiikan osastoilla ja Lehman Collegessa matematiikan ja tietojenkäsittelytieteen laitoksella. Hän on nyt emeritusprofessori .

Fitting syntyi Troy, New York . Hänen perustutkintonsa on Rensselaerin ammattikorkeakoulusta ja tohtorin tutkinto Yeshivan yliopistosta , molemmat matematiikan alalta. Hänen opinnäytetyönsä neuvonantaja oli Raymond Smullyan .

Kesäkuuta 2012 Melvin Sovitus sai Herbrand palkinnon , jonka CADE , ansiokkaasta maksuosuudet automatisoitu vähennykseen .

Löysä motivaatio suurelle osalle Melvin Fittingin työstä voidaan muotoilla ytimekkäästi seuraavasti. Logiikkaa on monia. Perusteluperiaatteemme vaihtelevat kontekstin ja aiheen mukaan. Moninaisuus on yksi modernin muodollisen logiikan loistoista. Yhteinen ketju, joka sitoo logiikat yhteen, on huolenaihe siitä, mitä voidaan sanoa (syntaksia), mitä se tarkoittaa (semantiikkaa) ja näiden kahden välisiä suhteita. Filosofisen kannan, joka voidaan sisällyttää muodolliseen logiikkaan, on osoitettu olevan johdonmukainen, ei oikea. Logiikka on työkalu, ei isäntä, mutta se on miellyttävä työkalu käyttää.

Huomautuksia

Viitteet

Ulkoiset linkit

• Melvin Fitting , virallinen kotisivu
• Graduate Center , tiedekunnan sivu CUNY
• Matemaattinen sukututkimusprojekti