Resultats de la cerca

En lògica simbòlica s’expressa mitjançant el signe ⊰ En matemàtiques hom utilitza el símbol ⇒

Professor de la Universitat de Pennsilvània 1941, fou el creador de la lògica combinatòria en sistematitzar la teoria esbossada per Schönfinkel durant el segon decenni del s XX L’estudi de les aplicacions d’aquests nous conceptes i l’extensió de llur camp d’acció constitueixen el material de Combinatory Logic 1958, escrita en collaboració amb Robert Feys Treballà també en els camps de la metalògica i la fonamentació de les matemàtiques, adscrit en tot a l’escola formalista

Fou professor de matemàtiques a l’University College de Londres 1828-66, excepte durant el període 1831-36, i el primer president de la London Mathematical Society, fundada l’any 1866 En un dels seus primers treballs, Elements of Arithmetic 1831, tractà, des del punt de vista filosòfic, dels conceptes de nombre i magnitud Les seves contribucions més importants són en el camp de la lògica simbòlica, i, juntament amb Boole, pot ésser considerat l’impulsor d’aquest nou corrent durant la primera meitat del s XIX En són remarcables, també, els treballs que fan referència a la…

De família noble li fou, a més, concedit el títol de sir , estudià matemàtiques, física i ciències humanes a Cambridge La seva primera obra important, Principia Mathematica 3 volums, 1910-13, en collaboració amb Alfred North Whitehead , donà resposta, amb la teoria dels tipus , a la greu crisi de fonaments que afectava la teoria de conjunts, i alhora obrí un nou camp a la lògica formal, situant-la en el lloc fonamental entre les ciències que avui ocupa La filosofia russelliana, en contínua evolució en el curs de la llarga vida de l’autor, és coneguda amb el nom d’ atomisme lògic…

Sovint identificable amb l'antinòmia i àdhuc amb l'aporia, la paradoxa, que té un significat més ampli que l’una i l’altra, sol ésser tipificada en l’afirmació del mentider, quan diu “ara dic mentida” si és veritat que diu mentida, és que menteix, però està dient la veritat, o sia que no està mentint i, si no és veritat que diu mentida, menteix, però no és veritat que digui mentida Les paradoxes d’aquesta mena, consistents en una autoreferència i que solen ésser típiques en les anomenades paradoxes semàntiques o lingüístiques, han estat estudiades des de sempre i hom només ha pogut trobar-ne…