live%goeslife synthe0c%biology%% - ku leuven- popper’s demarcation-criterion a statement or a...

39
Live goes life Synthe0c biology Bart De Moor h"p://www.esat.kuleuven.be/stadius/ h"p://www.kuleuven.be/samenwerking/ iminds/medicalit 1

Upload: others

Post on 23-Feb-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Live  goes  life  Synthe0c  biology    

Bart  De  Moor    

h"p://www.esat.kuleuven.be/stadius/  h"p://www.kuleuven.be/samenwerking/

iminds/medicalit        

1  

Page 2: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

1.  What  is  science  ?  What  are  models  ?  What  is  technology  ?  What  is  engineering  ?    2.  The  seven  spheres  of  engineering    

1.  Ma"er  2.  Energy  3.  InformaEon  4.  Sustainability    5.  Social    6.  Culture  7.  Life  

 3.  Analysis  and    Design  in  the  seven  spheres    4.  Utopia  ?  Design  of  living  systems  ?      

2  

Page 3: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

     What  is  science  ?    

- Describe and understand the world -  From myths/stories to verifiable facts

- Religion and science

-  The creator outside his creation) -  Galilei and the church -  Napoleon: Où est Dieu dans votre système ? Laplace: Dieu ? Je n’ai pas besoin de cette hypothèse !

-  Descartes: ‘Je pense donc je suis’ ‘Cogito ergo sum’

-  Francis Bacon (1561 – 1626) - Experimental method - Progress ! - Nec plus ultra; The limit is the sky !

3  

Page 4: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

-  Popper’s Demarcation-criterion

A statement or a theory is scientific when it clarifies and establishes its own weaknesses

‘Irrefutability is not a virtue of a theory, but a vice’ Karl Popper

No scientific theory is true for ever; A theory is scientific when it shows where it can be attacked A scientific theory predicts, but forbids more than it will allow Not scientific:

- Any religion or ‘belief’ - Marxism, Liberalism, Socialism, ….

     What  is  science  ?    

4  

Page 5: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

William  van  Occam  (1290-­‐1349):  “EnEa  non  sunt  mulEplicanda  praeter  necessitatem”  (Wezensbegrippen  moeten  niet  onnodig  vermeerderd  worden)      Een  eenvoudige  verklaring  van  een  fenomeen  is  te  verkiezen  boven  een  moeilijke      

5  

     What  are  models  ?      

Page 6: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

- Technology = transbiological evolution on top of the natural biological evolution

- Technology = techne logos = the discipline on know how to do something

     What  is  technology  ?    

6  

     What  is  engineering  ?    

Engineering = use technology to design technology and ‘solve’ ‘problems’

Page 7: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

1.  What  is  science  ?  What  are  models  ?  What  is  technology  ?  What  is  engineering  ?    2.  The  seven  spheres  of  engineering    

1.  Ma"er  2.  Energy  3.  InformaEon  4.  Sustainability    5.  Social    6.  Culture  7.  Life  

 3.  Analysis  and    Design  in  the  seven  spheres    4.  Utopia  ?  Design  of  living  systems  ?      

7  

Page 8: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Ma<er  

8  

Page 9: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Kepler  

Law  1:  Orbit  =  ellips;  Sun  =  focus  

Law  3:    

Law  2:  ‘Radial  line’  colors  equal  surfaces    in  equal  Eme  intervals    

     The  science  (analysis)      

Newton  

9  

Page 10: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

     The  unreasonable  effec0veness  of  mathema0cs        

10  

Page 11: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

     Technology  and  Engineering  Design:        The  first  industrial  revolu0on  (1700…)  

-­‐  Steam  engine  (Wa")    

-­‐  MechanisaEon  of  texEle  industries    

-­‐  Infrastructure  for  mobility:  rail  roads  

-­‐  Water  and  Coal  as  energy  source    

-­‐  Transi<on  of  a  feudal  rural  towards  industrial  society      

-­‐  Socio-­‐cultural  evolu<on  follows  the  economical-­‐technical  one  (French  revolu<on)  

11  

Page 12: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Ma<er  

Energy  

12  

Page 13: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

     The  science  (analysis)      

13  

Page 14: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

     Technology  &  Engineering  Design:      The  second  industrial  revolu0on  (1870…)        -­‐ Mass  producEon  and  consumpEon  

-­‐ Electricity  and  oil  as  energy  sources  

-­‐ Chemical  industry  develops    

-­‐ Infrastructure  for  mobility:  road  network    

-­‐ TelecommunicaEon  develops,  radio,  TV      

-­‐ Labor  and  Capital  (Marx)  ;  Unions  ;  Liberalism:  Adam  Smith    

-­‐ Government  as  regulator  and  facilitator        

                   

14  

Page 15: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Informa0on  

Materials  

Energy  

15  

Page 16: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

     The  science  (analysis)          1880:  Maxwell’s  laws  (electro-­‐magneEsm)  

1905:  Quanta:  Planck  and  Einstein    

1910:  Atom  model    Bohr    

1940:  Computer  (principle)  of  Turing  and  von  Neumann  

1948:  InformaEon  theory  of  Shannon    

1930:  Quantummechanics  of  Heisenberg,  Schrödinger,…  

1950:  Transistor  of  Shockley,  Bardeen,…  

16  

Page 17: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

0

1 10 9

2 10 9

3 10 9

4 10 9

5 10 9

6 10 9

1975 1980 1985 1990 1995 2000 2005 2010 Year

Bookkeeping Audio

Video

3D games

LUI

Ope

ratio

ns/s

econ

d

‘Understand’ ?

ComputaEonal  power  x  2  every  18  months    

     Technology  and  Engineering  Design:        The  third  industrial  revolu0on  (1945…)    

17  

Page 18: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

18  

     How  is  a  chip  designed  ?    Modular  !      

House      Living  room  Kitchen  Bedroom  Bath  room  Garage      ….      UEliEes  (water,  electricity,…)  Bricks  (clay)  …..      Plan      

Chip      Memory    Clock  Control    CPU  CommunicaEon    ….      UEliEes  (power,  communicaEon….)  Transistors  (silicium)  …..      Plan      

Page 19: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

1  million  =  1  000  000  1  billion    =  1  000  000  000  1  trillion  =  1  000  000  000  000  1  quadrillion  =    1  000  000  000  000  000  

1  kB      =  1  000    1  MB  =  1  000  000  1  GB    =  1  000  000  000  1  TB      =  1  000  000  000  000  1  PB      =  1  000  000  000  000  000        

1  TB    =  large  university  library  =  212  DVD  discs    =  1430  CDs  =  3  year  music  in  CD  quality        

Page 20: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Informa0on  

Sustainability  

Materials  

Energy  

20  

Page 21: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

- Globalization

Global Village Concept van CNN Internet Think globally, act locally (glocal) Netwerks of people and computers

-  Standardization, uniformization, protocollization - Sustainable society

Traditionally: Finite demands and infinite supplies Now: Infinite demands but finite supplies

We did not inherit the world from our ancestres, but have borrowed it from our children (Antoine de Saint-Exupery)

- Cleantech, renewable energy, global warming, ….

Sustainability        

21  

Page 22: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability
Page 23: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Informa0on  

Social  

Sustainibility  

Materials  

Energy  

23  

Page 24: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

We  are  always  CONNECTED  

and  FAST!  

ConnecEvity  

24  

Page 25: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

www:  max  19  clicks  !  

Page 26: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Informa0on  

Culture  

Social  

Sustainability  

Materials  

Energy  

26  

Page 27: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Informa0on  

Culture  

Social  

Sustainability  

Life  

Materials  

Energy  

27  

Page 28: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

     The  science        1865:  Mendel:  Laws  of  inheritance  from  staEsEcal  inference  

1944:  Avery/MacLeod/McCarty:  DNA  =  heriditary  material  

1953:  Watson/Crick:  DNA  double  helix    

2001:  Human  Genome  CompleEon  announced  

1966:  Nirenberg/Khorana/Holley:  Determine  geneEc  code  

1972:  Cohen/Boyer:  Recombinant  DNA,  gene  transfer  in  bacteria  

1965:  RestricEon  enzymes:  DNA  ‘scissors’    

1977:  Sanger/Maxam/Gilbert:  DNA  sequencing  methods  

1982:  Insuline  by  transgene  bacteria  

1985:  Polymerase  Chain  ReacEon  (PCR)  

1991:  First  transgene  animal:  Herman  the  bull  

1994:  GM  tomatoes  to  market    

1997:  First  cloned  animal:  Dolly    

28  

Page 29: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Computer  Tomography  

MagneEc  resonance  

GS-­‐FLX  Roche    Applied  Science  454  

Sequencers  

ACACATTAAATCTTATATGCTAAAACTAGGTCTCGTTTTAGGGATGTTTATAACCATCTTTGAGATTATTGATGCATGGTTATTGGTTAGAAAAAATATACGCTTGTTTTTCTTTCCTAGGTTGATTGACTCATACATGTGTTTCATTGAGGAAGGAACTTAACAAAACTGCACTTTTTTCAACGTCACAGCTACTTTAAAAGTGATCAAAGTATATCAAGAAAGCTTAATATAAAGACATTTGTTTCAAGGTTTCGTAAGTGCACAATATCAAGAAGACAAAAATGACTAATTTTGTTTTCAGGAAGCATATATATTACACGAACACAAATCTATTTTTGTAATCAACACCGACCATGGTTCGATTACACACATTAAATCTTATATGCTAAAACTAGGTCTCGTTTTAGGGATGTTTATAACCATCTTTGAGATTATTGATGCATGGTTATTGGTTAGAAAAAATATACGCTTGTTTTTCTTTCCTAGGTTGATTGA

Mass  spectrometry  

Microarrays    (DNA  chips)  

Tsunami  of  data  from  progress  in  technology  

Page 30: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Genome  data  

30  

•  Human  genome  project  –  Ini0al  draW:  June  2000  –  Final  draW:  April  2003  –  13  year  project  –  $300  million  value    

with  2002  technology  •  Personal  genome  

–  June  1,  2007  –  Genome  of  James  Watson,  

co-­‐discoverer  of  DNA  double  helix,  is  sequenced  

•  $1.000.000  •  Two  months  

•  €1000-­‐genome  –  Expected  2012-­‐2020  

1,00E-071,00E-061,00E-051,00E-041,00E-031,00E-021,00E-01

1,00E+001,00E+011,00E+021,00E+031,00E+041,00E+051,00E+061,00E+071,00E+081,00E+091,00E+101,00E+11

1990 1995 2000 2002 2005 2007 2010 2015

Cost per base pairGenome cost

YearΩ Cost per base pair Genome cost 1990 10 3E+10 1995 1 3.000.000.000 2000 0.2 600.000.000 2002 0.09 270.000.000 2005 0.03 90.000.000 2007 0.000333333 1.000.000 2010 3.33333E-06 10000 2015 0.0000001 300

Page 31: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

DATA  31  

PACS  UZ  Leuven    

1,6  PetaByte  

Genomics  core  HiSeq  2000  full  speed  exome  sequencing  

 1  TeraByte  /  

week  

sequencing  all  newborns  by  2020  (125k  births  /  

year)    

125  PetaByte  /  year  

1  small  animal  image    

1  GigaByte  

index  of  20  million  

Biomedical  PubMed  records  

 23  GigaByte  

1  CD-­‐ROM    

750  MegaByt

e  

1  slice  mouse  brain  MSI  at  10  

μm  resoluEon  

 81  GigaByte  

raw  NGS  data  of  1  full  genome  

 1  TeraByte  

1  kB      =  1000    1  MB  =  1  000  000  1  GB    =  1  000  000  000  1  TB      =  1  000  000  000  000  1  PB      =  1  000  000  000  000  000        

Page 32: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

32  Biology    =  informaEon  processing  =  mathemaEcs  

Page 33: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

33  

© Armstrong SA et al. Nat Genet. 2002 Jan;30(1):41-7.

PCA  

12  600  genes    72  paEents:    

 -­‐  28  Acute  LymphoblasEc  Leukemia  (ALL)    -­‐  24  Acute  Myeloid  Leukemia  (AML)    -­‐  20  Mixed  Linkage  Leukemia  (MLL)  

3  paEents  for  each  class  used  as  test  set  

Gene0cs  based  cancer  diagnosis  

Page 34: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Transdisciplinary  engineering  design        

Materials,  energy,  IT   Ubiquitous  compuEng  

Ambient  intelligence    

Embedded  intelligence  Smart  pills    

Neuron  on  chip    

RehabilitaEon  engineering  Monitoring      Sensors:  EEG,  glucose,blood,  DNA,  …    Add-­‐ons:  vision,  hearing,  implants,  …    

Cellular

POTS

WLAN

wire

less

34  

Page 35: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

Synthetic biology: design new functional life Bacterium detecting cancer cells

Memory  

Input  

Filter  

Reset  

InverTimer  Cell  Death  

Output  

h<p://2013.igem.org/Team:KU_Leuven  

Page 36: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

in  silico  model  Dr.  Coli  

36  

Page 37: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

BioSCENTer  -­‐  K.U.Leuven   37  beginsituaEe   ziekte   genezen   ziekte   genezen  

Geneesmiddel   Geneesmiddel  

Timer  

Timer  

Reset  

Celdood-­‐  regulator  

Celdood  

Geheugen  aan:  Emer  en  celdood  kunnen  gebruikt  worden  

Geheugen  uit  

Dr.  Coli  does  the  job  !  

Page 38: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

1.  What  is  science  ?  What  are  models  ?  What  is  technology  ?  What  is  engineering  ?    2.  The  seven  spheres  of  engineering    

1.  Ma"er  2.  Energy  3.  InformaEon  4.  Sustainability    5.  Social    6.  Culture  7.  Life  

 3.  Analysis  and    Design  in  the  seven  spheres    4.  Utopia  ?  Design  of  living  systems  ?      

38  

Page 39: Live%goeslife Synthe0c%biology%% - KU Leuven- Popper’s Demarcation-criterion A statement or a theory is scientific when it clarifies and establishes its own weaknesses ‘Irrefutability

-  Design life ? -  Bacteria for energy, clean tech, human therapy -  Design artificial organs ? Artificial limbs ? - Utopia ? I don’t think so !! -  Three deficits

- Legal (law lags behind !) - Democratic (who decides ? Frankenstein ? Science sharing ) - Ethical (not how but what !) (genetics, stem cells, IVF,….)

 Life  goes  live:  Utopia  ?          

39