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ī

La seva família, d’origen jueu, emigrà a Barcelona el 1933 quan Hitler pujà al poder Posteriorment, en esclatar la Guerra Civil Espanyola 1936, passà a l’Uruguai, i finalment als EUA 1947, on es graduà a la Universitat de Harvard el 1951 i es doctorà el 1955 El 1957 s’incorporà a la Facultat d’Entomologia de la Universitat de Cornell, on l’any 1964 cofundà el Departament de Neurobiologia i Conducta, en el qual desenvolupà tota la seva carrera científica Fou un dels precursors de l’ecologia química a partir d’estudis amb insectes i aràcnids i seva utilització de substàncies químiques -tant…

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…

Els licaons voten, i ho fan esternudant Zoòlegs experts van descriure com els licaons decideixen quan han de sortir de cacera participant en una mena de votació per mitjà de l’esternut © Derek Keats Un estudi dut a terme per zoòlegs de les universitats de Swansea, a Galles, New South Wales, a Austràlia, i Brown, als Estats Units, sota la coordinació de la Botswana Predator Conservation Trust, va descriure com els licaons, també coneguts com gossos salvatges africans , decideixen quan han de sortir de cacera participant en una mena de votació mitjançant l’esternut La quantitat d’esternuts que…