{
  "prefix": {
    "pe": "https://proofengine.info/proofs/the-st-petersburg-paradox-has-a-finite-expected-va/",
    "prov": "http://www.w3.org/ns/prov#",
    "xsd": "http://www.w3.org/2001/XMLSchema#",
    "schema": "http://schema.org/"
  },
  "entity": {
    "pe:claim": {
      "prov:type": "pe:Claim",
      "prov:label": "The St. Petersburg paradox has a finite expected value that a rational person should be willing to pay.",
      "prov:value": "The St. Petersburg paradox has a finite expected value that a rational person should be willing to pay."
    },
    "pe:evidence-A1": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC1: EV term (1/2)^n * 2^n = 1 for every n; series = sum of infinitely many 1s",
      "pe:factId": "A1",
      "pe:evidenceType": "computed",
      "pe:method": "algebraic: (1/2)^n * 2^n = 1^n = 1 for all n >= 1",
      "pe:result": "All terms = 1.0 (verified n=1..20); series = sum of infinity 1s"
    },
    "pe:evidence-A2": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC1 cross-check: partial sums grow as N (unbounded), confirming divergence",
      "pe:factId": "A2",
      "pe:evidenceType": "computed",
      "pe:method": "partial sum: sum_{k=1}^{N} 1 = N (unbounded)",
      "pe:result": "10-term sum=10.0, 20-term sum=20.0 (grows as N)"
    },
    "pe:evidence-A3": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC2: E[ln(2^N)] = ln(2) * sum(n*(1/2)^n) = ln(2)*2 = 2*ln(2) (finite)",
      "pe:factId": "A3",
      "pe:evidenceType": "computed",
      "pe:method": "E[ln(2^N)] = ln(2) * sum(n*(1/2)^n) = ln(2) * 2 = 2*ln(2)",
      "pe:result": "E[U] = 1.386294 = 2*ln(2); CE = exp(E[U]) = $4.000000"
    },
    "pe:evidence-A4": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC2 cross-check: generating function confirms sum(n*(1/2)^n) = 2",
      "pe:factId": "A4",
      "pe:evidenceType": "computed",
      "pe:method": "generating function: sum(n*x^n) = x/(1-x)^2 at x=1/2",
      "pe:result": "sum(n*(1/2)^n) = 2.0 (confirms = 2)"
    },
    "pe:evidence-B1": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Wikipedia: St. Petersburg paradox \u2014 game rules and infinite expected value",
      "pe:factId": "B1",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/St._Petersburg_paradox",
      "pe:sourceName": "Wikipedia: St. Petersburg paradox"
    },
    "pe:evidence-B2": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Stanford Encyclopedia of Philosophy \u2014 Bernoulli utility resolution",
      "pe:factId": "B2",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://plato.stanford.edu/entries/paradox-stpetersburg/",
      "pe:sourceName": "Stanford Encyclopedia of Philosophy: St. Petersburg Paradox"
    },
    "pe:verdict": {
      "prov:type": "pe:Verdict",
      "prov:label": "Verdict: DISPROVED",
      "prov:value": "DISPROVED"
    }
  },
  "activity": {
    "pe:verify-B1": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B1: Wikipedia: St. Petersburg paradox",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B2": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B2: Stanford Encyclopedia of Philosophy: St. Petersburg Paradox",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:determine-verdict": {
      "prov:type": "pe:VerdictDetermination",
      "prov:label": "Determine verdict from evidence",
      "prov:endTime": "2026-03-28"
    }
  },
  "agent": {
    "pe:proof-engine": {
      "prov:type": "prov:SoftwareAgent",
      "prov:label": "Proof Engine",
      "schema:version": "1.0.0",
      "schema:url": "https://github.com/yaniv-golan/proof-engine"
    }
  },
  "wasGeneratedBy": {
    "pe:gen-B1": {
      "prov:entity": "pe:evidence-B1",
      "prov:activity": "pe:verify-B1"
    },
    "pe:gen-B2": {
      "prov:entity": "pe:evidence-B2",
      "prov:activity": "pe:verify-B2"
    },
    "pe:gen-verdict": {
      "prov:entity": "pe:verdict",
      "prov:activity": "pe:determine-verdict"
    }
  },
  "wasDerivedFrom": {},
  "wasAttributedTo": {
    "pe:attr-verdict": {
      "prov:entity": "pe:verdict",
      "prov:agent": "pe:proof-engine"
    }
  },
  "used": {
    "pe:used-A1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A1"
    },
    "pe:used-A2": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A2"
    },
    "pe:used-A3": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A3"
    },
    "pe:used-A4": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A4"
    },
    "pe:used-B1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B1"
    },
    "pe:used-B2": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B2"
    }
  }
}