Resultats de la cerca
Es mostren 4 resultats
Haskell Brooks Curry
Lògica
Matemàtiques
Filosofia
Lògic i filòsof de la matemàtica nord-americà.
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
algorisme
Lògica
Matemàtiques
Procediment de càlcul que amb un conjunt ordenat i finit d’instruccions, de símbols i regles o d’operacions, permet trobar la solució d’un problema pas a pas o de forma recursiva.
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ī
principi de raó suficient
Lògica
Principi segons el qual res no es dóna (o no esdevé) sense una raó perquè es doni (o esdevingui) o sense una raó que expliqui el fet que es doni (o esdevingui).
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…
Museu Nacional de la Ciència i de la Tècnica de Catalunya
Museu Nacional de la Ciència i de la Tècnica de Catalunya
© Fototeca.cat
Museu
Museologia
Historiografia
Cinematografia
Museu de Terrassa, creat el 1984 gràcies a una iniciativa conjunta de la Generalitat de Catalunya, de l’ajuntament de Terrassa i de l’Associació d’Enginyers Industrials de Catalunya.
El 1990 li fou donada la categoria de museu nacional La seu central és l’antiga fàbrica Aymerich, Amat i Jover, a Terrassa, de més de 15000 m 2 , que actua com a coordinadora d’una xarxa de museus temàtics situats en diversos punts de Catalunya, com el Museu Comarcal de l’Anoia a Igualada, el Museu Molí Paperer de Capellades, el Museu del Suro de Palafrugell, el de la colònia Sedó d’Esparreguera, etc El 2006 obrí nous espais destinats a ampliar la seva oferta cultural de la seu central, al Vapor Aymerich, Amat i Jover, de Terrassa D’una banda, la mostra temporal de setanta motocicletes…
,