www.fmath.info

Ramsey sisestatud Winchester College aastal 1915 ja sealt ta võitis stipendiumi Trinity College, Cambridge. Ta lõpetas oma keskkooli hariduse juures Winchester 1920 ja ta asus Trinity College, Cambridge, õppida matemaatikat. Cambridge, Ramsey said kõrgema õpetlane aastal 1921 ja lõpetas Wrangler matemaatilises Tripos 1923.

Valmimisel, Ramsey läks viin lühikest aega, tagasi Cambridge'i, kus ta valiti kolleegid, King's College Cambridge 1924. Väärib märkimist, et see oli kõige ebatavalistest ja tegelikult Ramsey oli ainult teine inimene kunagi olla valitud stipendiumi, King's College, millel ei ole varem uuritud, King's.

Aastal 1925 Ramsey abielus Lettice C Baker ning neil oli kaks tütart. Aastal 1926 nimetati ta ülikooli õppejõud matemaatika ja ta hiljem sai direktori Uuringud Matemaatika, King's College. See oli lühikese karjääri jaoks kahjuks Ramsey suri alguses 1930. Siiski on lühikese aja jooksul, mis ta loenguid Cambridge'i ta oli juba ennast täitmata lektor. Broadbent kirjutab:

Tema loenguid sihtasutuste matemaatika muljet noored üliõpilased oma märkimisväärse selguse ja entusiasmi ...

Kuigi Ramsey oli õppejõud matemaatika, ta toodetud tööd tähelepanuväärne erinevaid teemasid on lühikese aja jooksul. Samuti asutada uus ala matemaatika nüüd nn Ramsey teooria ", mis ütleme lähemalt allpool, ta kirjutas aluse matemaatika, majanduse ja filosoofia.

Ta avaldas oma esimese suurema töö foundations of mathematics 1925. Selles töös ta nõustus väitega, Russell ja Whitehead tehtud Principia Mathematica, et matemaatika on osa loogikat. Ramsey eesmärgiks käesolevas dokumendis oli siiski paranema Principia Mathematica ja ta tegi seda kahel viisil. Esiteks tegi ta ettepaneku, kukutades aksioom on taandatavus, mis ta kirjutab, on:

... kindlasti mitte iseenesestmõistetav ja ei ole mingit põhjust arvata, see on tõsi, ja kui see on tõsi, oleks see õnnelik õnnetus ja ei ole loogiline vajadus, sest see ei ole tautoloogia.

Tema teine lihtsustamine on teha ettepanek lihtsustada Russell 's teooria liikide poolt seoses teatud semantilise paradoksid keelelised. Ta võttis Russell 's eemaldatakse lahusest loogiline paradokse Hulgateooria tulenevad näiteks "sätestatud kõikide hulkade, kes ei ole iseenesest". Kuid semantilise paradokse nagu "see on vale" on Ramsey väidab üsna erinevad ja sõltuvad tähenduses sõna "vale". Need ta eemaldada tema tõlgendamisele, et eemaldada aksioom on taandatavus.

Ramsey avaldatud Matemaatiline Loogika Mathematical Gazette 1926. Sellega ta rünnakute:

... Bolševikud kujuneda Brouwer ja Weyl ...

keeldumiseks, et propositions kas õige vale. Ta kirjutab:

Brouwer oleks keelduda ühel meelel, et kas see oli vihmane või ei olnud vihmane, kui ta oli vaadanud vt.

Ta heidab Hilbert matemaatika loogika ütleb, et ta oli püüdnud vähendada matemaatika to:

... mõttetu mäng märgid paberil.

Tema teine raamat matemaatika On probleem formaalne loogika oli lugeda, et London Mathematical Society kohta 13. detsember 1928 ning avaldati Proceedings of London Mathematical Society 1930. See uurib määramise meetodid järjepidevuse loogiline valem ja see sisaldab mõningaid teoreemide kohta Kombinatoorika mis on viinud uuringu täiesti uue ala matemaatika nimega Ramsey teooria. Harary kirjeldab seda sünnist Ramsey teooria, kus ta kirjutab järgmist:

Tähistas paberile Ramsey [1930] on soodustanud tohutult õppida nii graafiku teooria ... ja teised filiaalid matemaatika .... Enamus kindlasti "Ramsey teooria" on nüüd loodud ja kasvav haru Kombinatoorika. Selle tulemused on sageli lihtne riik (pärast seda, kui on leitud) ja raske tõestada, sest nad on ilus, kui täpne ja värvikas. Lahendamata probleeme on rohkesti, ja täiendavaid huvitavaid küsimusi tekib kiiremini lahendusi olemasolevatele probleemidele.

Kombinatoorika võeti kasutusele Ramsey lahendada eraldi juhul, kui otsus probleem esimest järku predikaat calculus. Kuid nagu Mellor märgib, nüüd on teada, et on olemas veel otsest tõendit kui antud Ramsey, kuid üldiselt juhul, kui otsus ei saaks probleemi lahendada. Nii Mellor juhib tähelepanu, et:

Ramsey jätkuvat kuulsust matemaatika ... põhineb teoreem ta ei vaja, osutus käigus üritavad teha midagi, mida me teame nüüd ei saa teha!

Ramsey tehtud süstemaatilise katse rajada matemaatilise teooria tõenäosusega mõiste osaline usku. See töö on tõenäoline ja ka oluline töö ökonoomika, sündis peamiselt seetõttu, Ramsey oli lähedane sõber Keynes. Kuna sõber Keynes kindlasti ei peatanud Ramsey rünnata Keynes tööd siiski ja tõde ja tõenäosus, mis Ramsey avaldati aastal 1926, väidab ta vastu Keynes "ideed a priori induktiivne loogika. Ramsey argumendid veendunud Keynes, kes siis loobus oma ideid. Ramsey, pakkudes tõenäosus meede põhineb tugevus veendumuste,:

... tuleneb meetmete mõlema soove (subjektiivsed utilities) ja uskumusi (subjektiivsed tõenäosused), mis loob nüüd standardiseeritud need mõisted.

Majandusteaduses, Ramsey kirjutas kaks tk panuse teoreetiliselt maksu-ja matemaatilise teooria säästmiseks. See tooks kaasa olulisi uusi valdkondi teema.

See oli filosoofia aga, et oli Ramsey's real love. Ta kirjutas mitmeid teoseid nagu universaalsed (1925), faktid ja propositions (1927), universaalsed õiguslikke asjaolusid (1928), teadmised (1929), teooriad (1929) ja General ettepanekud ja põhjuslikkuse (1929). Braithwaite kirjutab:

... üldiselt filosoofia oli rohkem tema tähelepanu. Kasumlikku arvasin, et see kõige raskem valdkonnas Ramsey oli suurepäraselt varustatud ja pole kahtlust, et tema varajase surma on jätnud maailma üks kõige lootustandvamaid filosoofid.

Võinuks siiski öelda, et Ramsey töö filosoofia on olnud mõnevõrra varju selle Wittgenstein. Viimasel ajal on siiski Ramsey töö filosoofia näib olevat saanud rohkem tähelepanu pöörata.

Mitmed artiklid viidatud viited värvi eredad pildid Ramsey iseloomust. Näiteks Braithwaite kirjutab:

Kuna isik, vähemalt kui mõtleja, Ramsey oli ornament to Cambridge. Tema üliõpilaste päeva ta oli tunnustatud asutusele mis tahes abstraktne teema ja tema otsesus lähenemisviisi ja siirus olid inspiratsiooni tema kaaslased. Tema tohutu füüsiline suurus on paigaldatud ka mitmeid tema mõistus, ja tema hävitav naerma sobivad oma võimsuse lõbusalt visatakse irrelevancies, mille võimsus võimaldas tal olla nii peen ja sügav on kõrgemal tasemel.

Mellor, mis, värvide sarnase pildi:

Ta oli vaikne ja tagasihoidlik mees, easy going ja pidurdamatu, valju nakkav naer, tema tolerantsust ja head huumorit, mis võimaldab tal vaidlevad tugevalt andmata või võttes kuriteos; nagu tema vend Michael ... kelle kooskõlastamine ... Frank, kui sõjakas ateist, kahetsusväärne.

Ta oli pikk (kuus jalga kolm tolli) ja paks, lühinägelik, kandsid terasest ääristatud prille ja tundus kohmakas, kuid oli tegelikult hea tennisist. Ta toodetud oma märkimisväärset toodangu neli tundi päevas - ta pidas liiga ranged tegema rohkem - hommikuti on pärastlõunati ja õhtuti sageli kasutatud jalgsi või kuulates arvestust. Ta kuulas palju klassikalist muusikat, nii elus ja registreeritakse ning oli huvitatud mäe-käija.

Tema potentsiaal on rõhutanud:

Seal oli keegi, Cambridge seas nooremad mehed, kes pidada oma võrdse võimu ja kvaliteeti silmas pidades ja ka julgust ja originaalsust kontseptsiooni üks raskemaid teemasid uurida.

Ramsey kandis rünnaku kollatõbi ja viidi Guy's Hospital Londonis tööd. Ta suri pärast operatsiooni.

Source:School of Mathematics and Statistics University of St Andrews, Scotland