A The name of this probability density function

A
Thread starter Ad VanderVen
Start date Jul 26, 2021
Tags

Density Density function Function Probability Probability density Probability density function

Jul 26, 2021

Ad VanderVen

TL;DR Summary: Looking for the name of some probability density function.

Does anyone knows the name of the probability density function

f(y) =ae^by-cy²

Physics news on Phys.org

Optical system achieves terabit-per-second capacity and integrates quantum cryptography for long-term security
Tiny droplets that bounce for minutes without bursting might be able to do so indefinitely
Diamond probe measures ultrafast electric fields with femtosecond precision

Jul 26, 2021

willem2

Isn't that just the normal distibution? Complete the square in the exponent.

Jul 26, 2021

Ad VanderVen

Could be, but this function has support $$y \in (0, \infty)$$.

Jul 26, 2021

RPinPA

Science Advisor

Homework Helper

I think that just makes it a truncated normal.

Jul 27, 2021

Ad VanderVen

I thought so too.

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...

View full post »