Resultats de la cerca

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

S’aplica en tots els casos en què l’ús d’una estratègia ordenada i iterativa facilita l’obtenció de solucions Destaquen els algorismes típicament numèrics com el de calcular arrels quadrades o cúbiques, o l’algorisme d’Euclides, per a calcular el màxim comú divisor de dos nombres enters, però també són molt importants avui els algorismes subjacents a molts programes informàtics vàlids per a càlculs matemàtics, així com per a moltes altres aplicacions optimització, jocs, organització, etc Rep el nom del matemàtic persa  Muḥammad ibn Mūsà al-Ḫwārizmī

Conegut des de temps antic Abelard, els escolàstics i G Bruno, entre altres, n'oferiren diverses formulacions, aquest principi fou enunciat en la seva forma més madura per Leibniz “cap fet no pot ésser ver o existent i cap enunciat no pot ésser vertader, si no es dóna una raó suficient perquè sigui així i no altrament” Relacionat amb el principi de causalitat —tant l’eficient com, sobretot, la final— i, per alguns, àdhuc amb el principi de no-contradicció contradicció, el principi de raó suficient inclou diversos aspectes un de logicognoseològic, un altre d’ontològic i fins i tot un tercer de…

Biografia Era fill del cavaller Ramon Llull, de Barcelona, que participà en la conquesta de Mallorca i fou premiat amb el lliurament de terres a Pollença, Campanet i Ciutat de Mallorca Ramon Llull fill, de jove, dugué la típica vida d’un cortesà i contragué matrimoni Quan tenia uns trenta anys, però, segons explica ell mateix, tingué una revelació divina que li feu abandonar la seva antiga existència i dedicar-se a tasques missioneres Viatjà molt, especialment per Europa, l’Àsia Menor i el nord d’Àfrica Fundà una escola de predicació a Mallorca i ensenyà a la Universitat de París Fonts…

Evolució del concepte No és gaire clara la procedència del mot barroc Benedetto Croce l’ha fet derivar de baroco, terme mnemotècnic que els escolàstics idearen per a designar una complicada figura de sillogisme Segons Croce, barroc era “una de les variants d’allò que és lleig i repulsiu”, artísticament parlant Hom el creu també provinent del portuguès barrõco , que significa ‘perla irregular, defectuosa’ D’altres el fan derivar de l’italià parruca o perruca , amb les ondulacions i els enjoiaments de la qual hom el compara Sembla que fou Benvenuto Cellini qui l’aplicà per primera vegada a l’…