blob: f66340a6c2fdc120146d2a73248abe0c8dcce5c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
+++
title = "Generalising the Simplification"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8g2c"]
forwardlinks = []
zettelid = "3a8g2c1"
+++
The first step seems to be to generalise the simplification argument so
that it talks about all possible paths. However, this can only be done
if one knows how the predicates are constructed. As otherwise one cannot
reason about the predicates at all. This in turn is quite strong, as
this definitely will not hold after optimisations have been performed in
GSA.
|
