Account name:
Password:
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
purplecat
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
IM Info
Reload page in style:
light
purplecat
Recent Entries
Archive
Reading
Network
Tags
Memories
Profile
How to (Really) Trust a Mathematical Proof
Nov
.
20th
,
2008
09:40 am
Quite a nice article which explains the sort of stuff I (used to) research:
How to (Really) Trust a 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
Syndicate
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
[17]
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
[39]
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
[28]
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]
Page Summary
How to (Really) Trust a Mathematical Proof
Active Entries
1:
The Sixth Doctor in his Full Glory
2:
Space Icons!
3:
Random Doctor Who Picture
4:
Colin Baker Paper Doll
5:
Dalek Icons
6:
The Randomiser: The Power of Kroll
7:
Reading, Listening, Watching
Style Credit
Base style:
Transmogrified
by
Yvonne
Theme:
Sleeping Warrior
by
dancing_serpent
Expand Cut Tags
No cut tags