purplecat | Update on P v NP thing

You're viewing

purplecat's journal
Create a Dreamwidth Account Learn More

Reload page in style: site light

A lot of discussion has been going on on RJ Lipton's blog and he yesterday posted a summary of the progress in one week. On balance I'd say it doesn't look hopeful that Deolalikar's proof can be patched, but there's an interesting sociological process going on, especially for those of us with an interest in the nature of mathematical proof.

Profile

purplecat

February 2019

S	M	T	W	T	F	S
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28

Tags

100 papers [9]
academia [77]
- ai [4]
  - ethics [3]
- dead scientists [2]
- edinburgh informatics [3]
- grants [1]
- groups
  - dream [2]
- impact [1]
- public understanding [27]
  - lego rover [20]
- publications [33]
- scientists
  - aaron sloman [1]
  - alan bundy [4]
  - douglas hofstadter [1]
  - john mccarthy [2]
- talks [23]
- teaching [1]
academic
- public understanding
  - lego rover [1]
administrivia [1]
agents of shield [1]
ai [20]
- agents [22]
  - ail [9]
  - bdi [10]
    - goals [1]
  - groups [3]
  - languages
    - agentspeak [2]
      - jason [1]
    - oopl [1]
  - organisations [3]
- automated reasoning [7]
  - rippling [1]
  - sat [1]
  - smt [1]
- hybrid systems [1]
- knowledge representation [1]
- planning [1]
- robotics [1]
aisb [10]
amazon [1]
anecdote [1]
arthuriana [6]
bernice summerfield [7]
- review [6]
birthday [11]
books [57]
- author
  - andrew cartmel [3]
  - ben aaronovitch [4]
  - c s lewis [2]
  - charlotte bronte [2]
  - craig hinton [2]
  - david mcintee [1]
  - dorothy l sayers [2]
  - iain m banks [3]
  - iain rankin [1]
  - ian rankin [2]
  - j r r tolkien [2]
  - jacqueline rayner [2]
  - jane austen [2]
  - jeff vandermeer [2]
  - jim mortimore [1]
  - jonathan blum [2]
  - justin richards [3]
  - kate orman [2]
  - kelly hale [1]
  - lance parkin [3]
  - lawrence miles [6]
  - mags halliday [6]
  - malcolm hulke [2]
  - marc platt [2]
  - mark michalowski [4]
  - mary stewart [2]
  - megan whalen turner [3]
  - michael moorcock [2]
  - neal stephenson [4]
  - paul cornell [4]
  - paul dale smith [5]
  - paul magrs [12]
  - philip purser-hallard [10]
  - phyllis ann karr [2]
  - rob shearman [1]
  - rosemary sutcliff [3]
  - sara paretskey [2]
  - shakespeare [1]
  - simon guerrier [2]
  - terrance dicks [3]
  - terry pratchett [2]
  - tolkien [3]
- review [25]
castle [1]
christmas [1]
class [7]
- review [7]
computer science [15]
- complexity theory [4]
- game theory [5]
  - economics [1]
- np problems [1]
- verification [3]
  - induction [1]
conferences [3]
- aamas [1]
- arw [1]
- clima [1]
- picspam [1]
conventions [6]
- eastercon [10]
  - 2010 [2]
  - 2011 [4]
  - 2012 [1]
  - 2015 [1]
- lass o gowrie [1]
crochet [33]
- amigurumi [10]
- garment [4]
- moogly cal [3]
- non-euclidean [10]
current affairs [18]
current events [9]
diary [7]
doctor who [487]
- author
  - andrew cartmel [3]
  - ben aaronovitch [2]
  - craig hinton [2]
  - david mcintee [1]
  - david whittaker [1]
  - jim mortimore [1]
  - jonathan blum [1]
  - justin richards [3]
  - kate orman [2]
  - kelly hale [1]
  - lance parkin [3]
  - lawrence miles [5]
  - mags halliday [6]
  - malcolm hulke [2]
  - marc platt [2]
  - mark michalowski [4]
  - paul cornell [3]
  - paul dale smith [3]
  - paul magrs [8]
  - philip purser-hallard [8]
  - rob shearman [3]
  - terrance dicks [3]
- books [35]
  - annual [6]
  - cover [26]
    - benny adventure [1]
    - eda [3]
    - misc [5]
    - missing adventure [1]
    - new adventure [5]
    - pda [3]
    - target [9]
  - edas [2]
  - nas [4]
  - new series [11]
  - non-fiction [2]
  - pdas [1]
  - review [28]
  - short trips [3]
  - time and relative disse [5]
- comic [5]
  - first doctor [2]
  - second doctor [1]
  - sixth doctor [1]
  - third doctor [1]
- dwm [3]
  - cover [1]
- factsheet [1]
- fandom [3]
- fanzine [8]
  - channel d [1]
  - dwb [2]
  - skaro [1]
  - tides of time [1]
  - web planet [3]
- icons [1]
  - dalek [1]
- new series [7]
- nuwho rewatch [72]
- paper dolls [17]
- picture [43]
  - amy [1]
  - behind the scenes [2]
  - bill [1]
  - cast [1]
  - clara [1]
  - comic [1]
  - convention [1]
  - daphne ashbrook [1]
  - donna [1]
  - dvd cover [1]
  - dwm [1]
  - eleventh doctor [1]
  - fanart [4]
  - fifth doctor episode [1]
  - first doctor [1]
  - first doctor episode [1]
  - fourth doctor episode [2]
  - frazer hines [2]
  - india fisher [1]
  - jamie [1]
  - jo [2]
  - joanna lumley [1]
  - martha [1]
  - missy [1]
  - monster [5]
  - nicholas courtney [1]
  - ninth doctor episode [1]
  - paul mcgann [1]
  - river song [1]
  - romana 2 [1]
  - rose [1]
  - sarah [1]
  - second doctor episode [1]
  - seventh doctor episod [1]
  - sylvester mccoy [2]
  - tardis [1]
  - tenth doctor [1]
  - tenth doctor episode [1]
  - third doctor [1]
  - third doctor episode [1]
  - thirteenth doctor [1]
  - victoria [1]
  - william hartnell [1]
  - yaz [1]
- rec [1]
- review [377]
  - book [34]
    - non-fiction [4]
  - film [1]
  - tv [351]
    - classic [129]
    - new series [220]
- russell davies [3]
- steven moffat [2]
- the randomizer [133]
- verity podcast [1]
dolls [19]
- lego [3]
  - nasa [3]
- paper dolls [17]
dreamwidth [3]
edinburgh [7]
- festival [1]
exercise [18]
- running [33]
  - london marathon [19]
facebook [5]
faction paradox [3]
- review [3]
family [9]
- b [22]
  - animals [1]
  - dinosaurs [15]
  - fossils [2]
  - media stardom [18]
- cousins [1]
- g [4]
  - school [1]
fandom [2]
fandom friday [2]
fandom stocking [1]
fanfiction [3]
feminism [5]
films [8]
- review [4]
follow friday [6]
food [13]
- heston blumenthal [1]
- recipe [3]
fools and heroes [11]
fossil friday [4]
friends [2]
genealogy [14]
history [4]
holidays [2]
- hadrian's wall [13]
- ridgeway [3]
house [16]
i have no tag for this [23]
i saw this last week [40]
icons [4]
iris wildthyme [6]
- review [5]
jobs [3]
kin-strife [10]
linkspam [21]
livejournal [13]
lizzie bennet diaries [1]
mathematics [21]
- formal proof [1]
- logic [1]
- non-euclidean [10]
- philosophy [6]
  - proof [2]
- quote [1]
- verification [1]
mcu [1]
media stardom [5]
meme [33]
meta [1]
model checking [4]
- systems
  - java pathfinder [3]
oxford [1]
performing [1]
- music [1]
philosophy [8]
- ai [2]
- ethics [1]
- mathematics [3]
picspam [46]
- house [2]
- prehistoric monument [18]
- travel [29]
  - holidays [8]
  - work related [16]
primeval [51]
- review [44]
programming [13]
- ail [1]
- languages
  - agentspeak [2]
    - jason [1]
  - java [5]
  - maude [2]
  - prolog [2]
projects
- eass [13]
  - publications [7]
- mcapl [13]
  - publications [5]
- platform grant [1]
- rais [2]
  - publications [2]
- verifiable autonomy [1]
  - publication [1]
- vps [2]
  - publications [2]
publications [8]
random doctor who picture [90]
random poetry [1]
rant [6]
reading listening watching [40]
rec [1]
- humour [1]
resolutions [14]
revew [3]
review [559]
- book [138]
  - bernice summerfield [5]
  - doctor who [37]
    - non-fiction [5]
  - non-fiction [39]
    - history [25]
      - science [9]
- comic [2]
- doctor who [357]
  - book [22]
  - film [1]
  - tv [341]
- film [10]
- tv [402]
  - class [7]
  - doctor who [326]
  - internet [1]
  - merlin [2]
  - primeval [45]
  - sarah jane adventures [5]
  - survivors [4]
  - torchwood [13]
roleplaying [23]
ros [1]
science [1]
science fiction [2]
science
- astronomy [1]
  - apod [1]
share
- twitter [2]
social networking [3]
- google+ [2]
- tumblr [1]
star wars [1]
the expanse [1]
theorem proving [6]
- middle-out reasoning [3]
- proof planning [5]
  - critics [2]
  - rippling [3]
- proof specification lang [2]
- systems
  - isabelle [2]
  - isaplanner [4]
  - maude [1]
  - proof general [3]
- theory slicing [1]
- tptp thf [3]
throwback thursday [29]
- an oxford childhood [10]
- ancestors [2]
- arthurians [6]
- conventions [1]
- dad [1]
- docsoc [1]
- family [1]
- larp [3]
- oules [1]
- running [1]
- wheatley [3]
tolkienery [4]
travel [36]
- commuting [2]
- holidays [7]
- work related [28]
traveller [6]
tv [24]
- blakes seven [1]
- class [1]
  - review [1]
- firefly [2]
- sapphire and steel [1]
- special unit 2 [1]
- supernatural [1]
- torchwood [5]
urban dead [5]
web stuff [2]
who
- picture
  - shalka doctor [1]
wierd spam [2]
writing [2]

Active Entries

Style Credit

Base style: Transmogrified by Yvonne
Theme: Sleeping Warrior by dancing_serpent

Expand Cut Tags

No cut tags

Top of page