Theory of Science:

(1)

Theory of Science:

Free Software & Society

Ole Peter Smith, IME, UFG, ole@mat.ufg.br

UFU, 16/05/2011 The Road to Knowledge? Simple:

Err, and Err, and Err again But Less, and Less, and Less

Piet Hein

(2)

I Beautiful Scientic Documents

I Classical FreeSoftware

I Markup Language (∼HTML)

I Thesis, automatic:

·Bibliography

·Contents

·List of Tables, Figures

·Index, Counters and Internal References·You name it...

I Slideshows: Beamer

I MikTex, LyX, TexMaker, Kyle

^ SL!

(3)

The Father of Nonviolent Resistance: Mahatma Gandhi

I really do like Your Christ - but dislike Your Christians Why can'tYyour Christians be more like Your Christ?

Live as if you'll die tomorrow Learn as if you'll live forever

(4)

Ciência

I Science: Accumulated Human Knowledge

I Knowledge:

·Facts & Explanations

·Incontestables

·Reproduzables

I Objectivity:

·Observer|Object

I Fundamentals:

·Human− Exact (− Social?)

I Universal Sciences:

·Philosophy −Mathemathics (−Computer Science?)

I Axioms - Dogmas -

(5)

Scientic Reasonings

I Deduction:

·Logical Arguments

·Math: Never needed to redoing

·Computer Science?

I Induction:

·Conclusion by Repeated Verication

·Hypothesis→ Theory

·Tradition: Explanation - never Argument!!!

I Abduction:

·Conclusion to most plausible

·Cheese evaporizes at T =25.03^◦C, p=1.047 atm....

(6)

Scientic Methods

I Deductive

·Axioms

·Denitions

·Theorems (consequences)

I Experimental

·Hipothesis

·Theory: Repeatedly Veried Hypothesis

·Varying one Factor at a Time

·Trial & Error

·Reproduzable

I Statistical

(7)

Axiom of Euclides

I k Lines never Intersects

I Lines:

Minimum distance between points Geodesics

I Earth: Lines ∼Big Circles k Geodesics Intersects

⇒ Non-euclidean Geometry

^ Not Contradictory!!!

I Projective Geometry:

k Lines Intersects at Innity

(8)

Philosophy

I Base of Human Sciences

I Qualitative

I Argumentative

I Reective

I Ethics of Human Aairs:

Technology Environmental Social

I Education for Improved Life Quality:

Study Humans & Exacts!

I How to do Qualitative Research?

I FreeThinking ⇐

(9)

Mathematics

I Base of all Exact Science & Technology

I Logic

I Axiomatic

I Deductive

I Exact

I Never needed to revise itself

I Makes me believe in some devine force ...But doubt any religious dogmas...

(10)

Mandelbrot-FractalGeometry

(11)

JuliaSet

(12)

Sierpinsky

(13)

Computer Science

I The Lastborn..

I Fundamental:

Applied by all other Sciences

I Communication:

Democracy Fundamental

I Automation of Repetitive Tasks

I What You Ask...

Isn't Always what You Want!

I Ultimate Logical Test

I Fascinated by Perl: FreeProgramming I'm so Free...

(14)

Ethics of Science

I Responsability

I Exemplos:

·Einstein - Hiroshima

·Placebo

·Generic Medicine

·Lifewests: Nazis

·Genetics

·Private vs. Public Research

I Use Science for the Good What is Good?????

(15)

Humans. I Believe that:

I Humans are Good at the Bottom Too bad they're Bottomless When they Have theirs...

I Otherwise, they're not Good

I Humans: Intelligent Beasts Or Darwin are all Wrong?

Ideas are Immortal

I Instincts - Reexes

I Genetical - Social

I Humans are Lazy

Invents for their Lazyness

(16)

Society

I

I Theories or Dogmas?

Socialism - Capitalism - Democracy

I UN not Democratic - Why????

History - Traditions...

I What's the Alternatives to:

Democracy - FreePress We Must Read!

I Youngsters - Actives - Elders

I Government: Generate LQ Environment - Education - Health

I A Society may be Assessed by the way It Treats it's Minorities... Gandhi

(17)

Free Thinking

I Freedom

I FreeThinking

I Law:

Govern Relations between People Peaceful Coexistence

I Isonomy: Alle er Ens for Loven

I Who am I to Judge?

I Formynderi: Tutelage - Custody Seat Belt

Babe take Drugs... (Lou Reed)

I Worst Problems First...

(18)

Exclusion vs. Inclusion

I Exclusion: Benets Whom?

Included Individuals Contributes

I Education:

Seed - Semente - Semilla

I Harvest Happens after Seeding

I Exclusion Harms Society

I Inclusion Benets Society

I FreePeople

I Respect Generates Respect

Quasimo do

(19)

Free Software

I Freeto: Use - See - Modify - Redistribute

I Scientic Software

·Reproduzability ⇒Open Source

I FreeMovements: Inclusion

I Anti-Monopolies

Bill Gates or FreeKnowledge?

FreeEducation

I Individual Economical Systems 7→ Geographically Hierarchical

I If We do not Beliefe in Us - who will?

I Obrigations First - then Rights

Mik-Mik...

(20)

Thanks

Life Sure is a Mystery to be Lived Not a Problem to be Solved