Resultats de la cerca
Es mostren 5 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…
Santiago Calatrava i Valls
La Torre de Calatrava, el Palau Sant Jordi i l’Estadi Olímpic, de Barcelona
© Arxiu Fototeca.cat
Arquitectura
Escultura
Arquitecte, enginyer i escultor.
Féu estudis artístics i d’arquitectura a València i posteriorment a París i a Zuric, ciutat on s’establí del 1981 al 1990, que es traslladà a París La seva obra, predominantment centrada en infraestructures públiques, és incisiva i acusadament personal Cal esmentar-ne, entre d’altres, la reconstrucció de l’estació Stadelhofen, a Zuric 1990 el pont de Felip II-Bac de Roda 1987 i la torre de comunicacions de Montjuïc 1992 a Barcelona el pont de l’Alamillo sobre el Guadalquivir, a Sevilla 1992, l’estació del TGV de Lió 1992 i d’Orient de Lisboa 1993 la torre de control 1993-96 i la terminal de l…
Col·legi Oficial d’Arquitectes de Catalunya
Edifici del Col·legi Oficial d’Arquitectes de Catalunya, obra de Xavier Busquets i Sindreu
© Fototeca.cat
Arquitectura
Corporació de dret públic creada el 1931 amb personalitat jurídica pròpia que té com a objectius vetllar pel correcte exercici de la professió d’arquitecte i dels interessos dels seus associats en l’àmbit de Catalunya.
Els òrgans rectors són l’Assemblea General i la Junta de Govern i és presidit pel degà elegit democràticament Territorialment consta de sis demarcacions amb competències pròpies Barcelona, on hi ha també la seu central, Comarques Centrals, Girona, Lleida, Tarragona i Ebre i delegacions Alt Empordà, Barcelona, Ebre, Garrotxa-Ripollès, Girona, Osona, Pirineu, Manresa, Tarragona i Vallès Forma part del Consejo Superior de los Colegios de Arquitectos de España i, a través d’aquest, del Conseil d’Architectes d’Europa i de la Union Internationale d’Architectes Té el precedent en l’Escola d’…