Resultats de la cerca

Hom parla, en aquest sentit, del formalisme lògic lògica formal, kantià ètica formal kantiana, sociològic sociologia formal de Simmel, etc

La construcció d’un sistema formal resulta, aleshores, d’obtenir, a partir d’uns axiomes inicials, dels quals pot no existir cap realització concreta i dels quals hom no en qüestiona l’existència “real”, un conjunt consistent de teoremes El formalisme, anomenat a voltes axiomatisme o axiomàtica formal , fou introduït pel matemàtic alemany David Hilbert, i, com a intent de fonamentació de la matemàtica, s’oposa al logicisme de Russell i Whitehead i a l'intuïcionisme de Brouwer

Tanmateix, la segmentació que practica suposa sempre un coneixement intuïtiu d’aquest darrer L’aparició del transformacionalisme ha ofegat els intents de renovació de les escoles formalistes

Fou propugnada i desenvolupada per l’escola dels formalistes russos formalista 3

És equivalent al formalisme de la mecànica ondulatòria desenvolupada per Schrödinger, en què les variables són descrites per operadors

De fet, però, el logicisme es troba amb moltes dificultats a l’hora de situar tota la matemàtica dins el marc lògic formalisme

En el decenni de 1950-60 els arquitectes seguidors del racionalisme de Mies van der Rohe i de Le Corbusier, esdevinguts capdavanters d’aquest moviment, deixaren sense revestir els materials i les conduccions exteriors conrearen també un sever formalisme formes massisses, una nova illuminació, etc, que donà un aspecte funcional aviat internacionalitzat i relacionat amb l’informalisme pictòric

La noció d’interlingua ha esdevingut un concepte clau en traducció automàtica Des d’aquesta disciplina, una interlingua és un formalisme de representació de coneixement generat sobre la base de la llengua de partida en un procés de traducció Aquesta representació intermèdia inclou tota la informació necessària per a generar automàticament el text d’arribada sense retornar al text original