RSS

Olmasa Olmazdı – 1: Tarski – ORACLE

27 Jan

Alfred Tarski

Alfred Tarski

olmasa

ORACLE Corporation

ORACLE Corporation

olmazdı.

Neden mi?

Bakınız: Tarski?s influence on computer science [PDF]

Abstract:

The great logician Alfred Tarski played one of the leading roles in the development of mathematical logic in the twentieth century, as much for the programs he promoted and the conceptual organization of the subject as for his many important results. Except for his fixed-point theorem, Tarski’s influence on computer science has been largely indirect but nevertheless substantial. I shall survey this influence through his work in the areas ofdecision procedures, semantics of formal languages, model theory, and algebraic logic.

Tarski’nin hayatını merak edenler için (kim demiş matematikçilerin sıkıcı ve duygusuz hayatları olur diye):

Alfred Tarski: Life and Logic @ Amazon.com

Advertisements
 
1 Comment

Posted by on January 27, 2009 in General

 

One response to “Olmasa Olmazdı – 1: Tarski – ORACLE

  1. Dragomilov

    January 27, 2009 at 23:41

    Valla Show TV’yi geçtin: Tarski olmasa ORACLE olmazdı, neden mi? Az sonra… 🙂

     

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

 
%d bloggers like this: