public void TestGoedel_Case1()
{
var r = TaskGoedel.godelEncode(new List <string>()
{
"2", "=", "1", "+"
}, "1+1=2");
Assert.AreEqual(r, "43659000", "Explanation 1 - g(\"1+1=2\") = 23 x 34 x 53 x 72 x 111 = 43659000");
}
public void TestGoedel_Case0()
{
var r = TaskGoedel.godelEncode(new List <string>()
{
"0", "="
}, "0=0");
Assert.AreEqual(r, "90", "Explanation 0 - g(\"0=0\") = 21 x 32 x 51 = 90");
}
