formalist computer science

    <p class=default>
      
        Although the formalist computer science is still the mainstream, there is a growing 
        opposing trend in the artificial intelligence meetings and more recently in the object 
        oriented paradigm through the introduction of design patterns and prototype-based object 
        oriented languages. The formalist paradigm in philosophy and science orbits around 
        centralization, control, hierarchy, predictability and 'provability'. Its ideal model 
        follows the atomic model language. Its visions are grounded in the philosophies of 
        Descartes, Hobbes, Leibniz, Russell and Whitehead. Babbage, Turing and von Neumann 
        illustrate the formalist philosophy in computer science. Newell, Simon and Minsky , in 
        artificial intelligence. 
      
    <br/>

      
        Bo Dahlbom and Lars Mathiassen [DM97] adds that 
      
      
        <i>the romantic view grew out of a reaction against mechanistic thinking and was 
        formulated towards the end of the 18th century, primarily by German philosopher-artists 
        like Herder and Hegel (.....) Where the mechanists saw structures and systems, the 
        romantics saw processes and change. Likewise followers of the hermeneutic thinking 
        emphasize autonomy, multiple perspective, self-organization, change, evolution, 
        interpretation, malleability and flexibility. They argue that any formal syntax fails in 
        grasping the intrinsic properties of the natural world [West97]. Husserl, Heidegger, 
        Gadamer, Vygotsky and Foucault represent this trend in philosophy as well as the 
        contemporaries Maturana, Varela, Prigogine and Gell-Mann. In computer science, it reflects 
        in the viewpoints of Floyd and colleagues, Coyne, Dreyfus brothers and the post-artificial 
        intelligence works from Winograd.</i>
      
      
         
      
    <br/>

      
        
      
    </p>