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ī

Té un caràcter englobador i pretén de regular totes les situacions, omplint les llacunes existents i fornint elements d’interpretació de situacions futures i d’aplicacions a fer-hi La seva finalitat és la d’accelerar la política unificadora nacional i de centralització, establir un sistema de seguretat jurídica i garantir la permanència de l’ordre institucional El moviment codificador apareix al segle XIX, fonamentat en les idees racionalistes desenvolupades al segle anterior rebé un gran impuls a partir de Napoleó, que procedí a la codificació del dret privat civil, mercantil,…

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…

L’abast d’aquest sistema jurídic comprèn els ordenaments jurídics següents en primer lloc, el dret català en sentit estricte, compost del dret general del Principat de Catalunya dret català 2 i dret local de les ciutats i les comarques del Principat que tenen dret propi, com Barcelona, Tortosa, Girona, el Camp de Tarragona, Lleida, la Vall d’Aran, el Rosselló, el Pallars Sobirà i la Conca de Tremp en segon lloc, el dret del País Valencià, tant en el seu sistema general, com en les particularitats de determinades comarques en tercer lloc, el dret de les Illes Balears dret mallorquí, menorquí i…